Changes by: Lori Lorigo (lorigo at sbcglobal.net)
Date: 1998-10-13 12:49:12 -0700 (Tue, 13 Oct 1998)
Revision: 2509
Log message:

      Modified library_eval and library_test to reflect
      renaming to MetaPRL.
      NuprlLight->MetaPRL, nl->mp, nuprl-light->meta-prl
      

Changes  Path
+43 -10 metaprl/editor/ml/library_eval.ml
+8 -8 metaprl/editor/ml/library_test.ml