Changes by: Lori Lorigo (lorigo at sbcglobal.net)
Date: 2000-04-13 12:18:43 -0700 (Thu, 13 Apr 2000)
Revision: 2932
Log message:

      committed jprover/nuprl interface changes
      

Changes	Path
+10 -4	metaprl/editor/ml/nuprl_jprover.ml
+3 -0	metaprl/editor/ml/nuprl_jprover.mli
+2 -0	metaprl/editor/ml/nuprl_run.mli
+8 -8	metaprl/library/nuprl5.ml