Changes by: Lori Lorigo (lorigo at sbcglobal.net)
Date: 2003-05-13 17:22:57 -0700 (Tue, 13 May 2003)
Revision: 4593
Log message:

      more updates to the nuprl connection, and added run_nuprl to mp.mli
      

Changes	Path
+1 -0	metaprl/editor/ml/mp.mli
+156 -98	metaprl/editor/ml/nuprl_eval.ml
+31 -20	metaprl/library/basic.ml