/[mojave]/texinputs/metaprl.tex
ViewVC logotype

Diff of /texinputs/metaprl.tex

Parent Directory Parent Directory | Revision Log Revision Log | View Patch Patch

revision 3583 by nogin, Thu Jun 7 19:14:04 2001 UTC revision 3584 by nogin, Thu Apr 25 15:28:40 2002 UTC
# Line 88  Line 88 
88  %  %
89  % Names  % Names
90  %  %
91  \newcommand\Nuprl{Nuprl}  \newcommand\Nuprl{\textsf{Nuprl}}
92  \newcommand\NuPRL{Nuprl}  \newcommand\NuPRL{\Nuprl}
93  \newcommand\MetaPRL{MetaPRL}  \newcommand\MetaPRL{\textsf{MetaPRL}}
94  \newcommand\OCaml{OCaml}  \newcommand\OCaml{\textsf{OCaml}}
95  \newcommand\MartinLof{Martin--L\"{o}f}  \newcommand\MartinLof{Martin--L\"{o}f}
96    
97  %  %

Legend:
Removed from v.3583  
changed lines
  Added in v.3584

  ViewVC Help
Powered by ViewVC 1.1.26