Changes by: Lori Lorigo (lorigo at sbcglobal.net)
Date: 2000-03-16 11:52:02 -0800 (Thu, 16 Mar 2000)
Revision: 2922
Log message:

      added/improved functionality for metaprl/jprover/nuprl5 io
      

Changes  Path
+15 -6 metaprl/editor/ml/Makefile
Deleted metaprl/editor/ml/library_eval.ml
Deleted metaprl/editor/ml/library_eval.mli
Deleted metaprl/editor/ml/library_test.ml
Deleted metaprl/editor/ml/library_test.mli
+3 -0 metaprl/editor/ml/mp.ml
Added metaprl/editor/ml/nuprl_eval.ml
Properties metaprl/editor/ml/nuprl_eval.ml
Added metaprl/editor/ml/nuprl_eval.mli
Properties metaprl/editor/ml/nuprl_eval.mli
Added metaprl/editor/ml/nuprl_jprover.ml
Properties metaprl/editor/ml/nuprl_jprover.ml
Added metaprl/editor/ml/nuprl_jprover.mli
Properties metaprl/editor/ml/nuprl_jprover.mli
Added metaprl/editor/ml/nuprl_run.ml
Properties metaprl/editor/ml/nuprl_run.ml
Added metaprl/editor/ml/nuprl_run.mli
Properties metaprl/editor/ml/nuprl_run.mli
+3 -1 metaprl/editor/ml/shell.ml
+8 -8 metaprl/library/ascii_scan.ml
+5 -2 metaprl/library/basic.ml
+2 -2 metaprl/library/basic.mli
+86 -43 metaprl/library/db.ml
+3 -0 metaprl/library/db.mli
+81 -20 metaprl/library/definition.ml
+1 -1 metaprl/library/library.ml
+1 -1 metaprl/library/mbterm.ml
+92 -4 metaprl/library/nuprl5.ml
+15 -1 metaprl/library/nuprl5.mli
+2 -2 metaprl/library/oidtable.ml
+23 -6 metaprl/library/orb.ml
+17 -1 metaprl/theories/itt/itt_logic.ml