Changes by: Lori Lorigo (lorigo at sbcglobal.net)
Date: 2000-04-18 11:52:46 -0700 (Tue, 18 Apr 2000)
Revision: 2938
Log message:

      adding threaded call for jprover/nuprl connection
      

Changes	Path
+1 -1	metaprl/editor/ml/nuprl_jprover.ml
+1 -1	metaprl/editor/ml/nuprl_jprover.mli
+3 -0	metaprl/editor/ml/nuprl_run.ml
+1 -0	metaprl/editor/ml/nuprl_run.mli