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