Changes by: Lori Lorigo (lorigo at sbcglobal.net)
Date: 2001-04-23 11:26:44 -0700 (Mon, 23 Apr 2001)
Revision: 3202
Log message:

      simplified and documented jprover/nuprl5 connection
      

Changes  Path
+13 -0 metaprl/editor/ml/QUICKSTART
+3 -3 metaprl/editor/ml/nuprl_eval.ml
+9 -9 metaprl/editor/ml/nuprl_run.mli
+14 -17 metaprl/library/orb.ml
+8 -16 metaprl/library/test.ml