Changes by: Lori Lorigo (lorigo at sbcglobal.net)
Date: 2003-03-26 12:21:03 -0800 (Wed, 26 Mar 2003)
Revision: 4241
Log message:

      Updated the connection to the nuprl library to reflect nuprl-side changes.  Jprover now connects directly to the nuprl refiner and uses a single connection instead of 2.  The connection command is a comment at the top of editor/ml/nuprl_run.mli.
      

Changes	Path
+23 -35	metaprl/editor/ml/nuprl_eval.ml
+73 -63	metaprl/editor/ml/nuprl_run.ml
+13 -12	metaprl/editor/ml/nuprl_run.mli
+1 -1	metaprl/editor/ml/nuprl_sig.mlz
+141 -155	metaprl/library/library.ml
+8 -10	metaprl/library/library.mli
+17 -20	metaprl/library/library_type_base.ml
+24 -31	metaprl/library/link.ml
+4 -6	metaprl/library/link.mli
+269 -232	metaprl/library/orb.ml
+12 -8	metaprl/library/orb.mli
+7 -7	metaprl/library/socketIo.ml