Changes by: Lori Lorigo (lorigo at sbcglobal.net)
Date: 2002-07-29 11:37:25 -0700 (Mon, 29 Jul 2002)
Revision: 3749
Log message:

      updates to nuprl/metaprl link including parameterization of jprover multiplicity,etc.
      

Changes	Path
+11 -4	metaprl/editor/ml/QUICKSTART
+70 -82	metaprl/editor/ml/nuprl_eval.ml
+17 -14	metaprl/editor/ml/nuprl_jprover.ml
+1 -1	metaprl/editor/ml/nuprl_jprover.mli
+6 -4	metaprl/editor/ml/nuprl_run.ml
+5 -5	metaprl/editor/ml/nuprl_run.mli
+6 -2	metaprl/library/orb.ml
+1 -0	metaprl/library/orb.mli