ViewVC logotype

Log of /metaprl/editor/ml/mpopt

Parent Directory Parent Directory | Revision Log Revision Log

Sticky Revision:
(Current path doesn't exist after revision 8545)

Revision 2519 - (view) (download) (annotate) - [select for diffs]
Modified Thu Nov 12 01:15:31 1998 UTC (22 years, 7 months ago) by nogin
File length: 251 byte(s)
Diff to previous 2494
nl -> mp

Revision 2494 - (view) (download) (annotate) - [select for diffs]
Added Tue Oct 13 01:14:08 1998 UTC (22 years, 8 months ago) by jyh
File length: 251 byte(s)
I changed all the obvious places of Nuprl-Light, NL, nl, or any
other instance to MetaPRL, MP, or mp, etc.  The docs may be broken
but I'll fix them soon.  As usual, let me know if anything breaks.

This form allows you to request diffs between any two revisions of this file. For each of the two "sides" of the diff, enter a numeric revision.

  Diffs between and
  Type of Diff should be a

  ViewVC Help
Powered by ViewVC 1.1.26