Changes by: Lori Lorigo (lorigo at sbcglobal.net)
Date: 2001-09-28 15:52:57 -0700 (Fri, 28 Sep 2001)
Revision: 3416
Log message:

      added jprover multiplicity limit for nuprl and cleaned up jprover/nuprl connection code
      

Changes	Path
+2 -2	metaprl/editor/ml/QUICKSTART
+30 -1	metaprl/editor/ml/nuprl_jprover.ml
+8 -7	metaprl/editor/ml/nuprl_jprover.mli
+12 -12	metaprl/editor/ml/nuprl_sig.mlz
+9 -0	metaprl/library/link.ml
+1 -1	metaprl/library/mathBus.ml
+12 -18	metaprl/library/orb.ml
+1 -1	metaprl/library/test.ml