Changes by: Lori Lorigo (lorigo at sbcglobal.net)
Date: 2003-05-15 12:45:56 -0700 (Thu, 15 May 2003)
Revision: 4601
Log message:

      updated and cleaned calls and doc for connecting to the fdl and using jprover from nuprl.  Alexey, I got rid of your NuprlRun hack as I no longer need it. thnks.
      

Changes	Path
+22 -19	metaprl/editor/ml/QUICKSTART
+1 -0	metaprl/editor/ml/mp.ml
+1 -8	metaprl/editor/ml/mp.mli
+10 -6	metaprl/editor/ml/nuprl_eval.ml
+1 -1	metaprl/editor/ml/nuprl_eval.mli
+9 -6	metaprl/editor/ml/nuprl_run.ml
+4 -13	metaprl/editor/ml/nuprl_run.mli
+3 -2	metaprl/library/orb.ml
+3 -0	metaprl/library/orb.mli