Changes by: Jason Hickey (jyh at cs.caltech.edu)
Date: 1998-04-23 13:04:52 -0700 (Thu, 23 Apr 1998)
Revision: 2151
Log message:

      Initial rebuilt editor.
      

Changes	Path
+51 -7	metaprl/editor/ml/Makefile
Deleted	metaprl/editor/ml/edit_type.mlz
Deleted	metaprl/editor/ml/editor_init.ml
Deleted	metaprl/editor/ml/editor_init.mli
Deleted	metaprl/editor/ml/main.ml
Deleted	metaprl/editor/ml/main.mli
+16 -7	metaprl/editor/ml/package_df.ml
+15 -5	metaprl/editor/ml/package_df.mli
+6 -2	metaprl/editor/ml/package_info.ml
+4 -0	metaprl/editor/ml/package_info.mli
+429 -218	metaprl/editor/ml/proof.ml
+12 -6	metaprl/editor/ml/proof.mli
+116 -47	metaprl/editor/ml/proof_edit.ml
+23 -4	metaprl/editor/ml/proof_edit.mli
+52 -5	metaprl/editor/ml/proof_step.ml
+4 -1	metaprl/editor/ml/proof_step.mli
+120 -78	metaprl/editor/ml/shell.ml
+17 -7	metaprl/editor/ml/shell.mli
Added	metaprl/editor/ml/shell_null.ml
Properties	metaprl/editor/ml/shell_null.ml
Added	metaprl/editor/ml/shell_null.mli
Properties	metaprl/editor/ml/shell_null.mli
Added	metaprl/editor/ml/shell_p4.ml
Properties	metaprl/editor/ml/shell_p4.ml
Added	metaprl/editor/ml/shell_p4.mli
Properties	metaprl/editor/ml/shell_p4.mli
+119 -34	metaprl/editor/ml/shell_rewrite.ml
+12 -1	metaprl/editor/ml/shell_rewrite.mli
+16 -6	metaprl/editor/ml/shell_type.mlz
+3 -0	metaprl/mk/config
+16 -0	metaprl/mllib/list_util.ml
+4 -0	metaprl/mllib/list_util.mli
+5 -0	metaprl/refiner/refine_exn.mli
+10 -0	metaprl/refiner/term.ml
+6 -0	metaprl/refiner/term.mli
+4 -0	metaprl/theories/base/perv.ml
+4 -0	metaprl/theories/base/perv.mli