Changes by: Lori Lorigo (lorigo at sbcglobal.net)
Date: 2003-05-10 21:44:55 -0700 (Sat, 10 May 2003)
Revision: 4584
Log message:

      more updates for importing into the FDL (formal digital library)
      

Changes	Path
+3 -2	metaprl/editor/ml/nuprl_eval.ml
+3 -1	metaprl/editor/ml/nuprl_run.mli
+1 -1	metaprl/library/orb.ml