Changes by: Jason Hickey (jyh at cs.caltech.edu)
Date: 1998-04-28 11:31:05 -0700 (Tue, 28 Apr 1998)
Revision: 2156
Log message:

      ls() works, adding display.
      

Changes	Path
+12 -13	metaprl/editor/ml/Makefile
Added	metaprl/editor/ml/nl.ml
Properties	metaprl/editor/ml/nl.ml
Added	metaprl/editor/ml/nl.mli
Properties	metaprl/editor/ml/nl.mli
+98 -38	metaprl/editor/ml/package_info.ml
+16 -1	metaprl/editor/ml/package_type.mlz
+6 -3	metaprl/editor/ml/proof.ml
+6 -2	metaprl/editor/ml/proof.mli
+5 -2	metaprl/editor/ml/proof_edit.ml
+4 -1	metaprl/editor/ml/proof_edit.mli
+11 -5	metaprl/editor/ml/proof_step.ml
+5 -1	metaprl/editor/ml/proof_step.mli
+218 -65	metaprl/editor/ml/shell.ml
+13 -0	metaprl/editor/ml/shell.mli
+96 -0	metaprl/editor/ml/shell_p4.ml
+18 -0	metaprl/editor/ml/shell_p4.mli
+5 -2	metaprl/editor/ml/shell_rewrite.ml
+4 -1	metaprl/editor/ml/shell_type.mlz
+5 -5	metaprl/filter/Makefile
Added	metaprl/filter/filter_exn.ml
Properties	metaprl/filter/filter_exn.ml
Added	metaprl/filter/filter_exn.mli
Properties	metaprl/filter/filter_exn.mli
+5 -0	metaprl/filter/filter_parse.ml
+3 -1	metaprl/filter/filter_parse.mli
+41 -17	metaprl/filter/filter_prog.ml
+6 -1	metaprl/filter/prlcomp.ml
+4 -1	metaprl/mk/config
+7 -0	metaprl/mllib/debug.ml
+7 -0	metaprl/mllib/debug.mli
+9 -0	metaprl/mllib/debug_set.ml
+4 -0	metaprl/mllib/debug_set.mli
+8 -0	metaprl/mllib/list_util.ml
+5 -0	metaprl/mllib/list_util.mli
+8 -4	metaprl/mllib/string_util.ml
+1 -1	metaprl/refiner/Makefile
+5 -1	metaprl/refiner/dform.ml
+7 -29	metaprl/refiner/dform_print.ml
+3 -18	metaprl/refiner/dform_print.mli
+3 -2	metaprl/refiner/refine.ml
+219 -74	metaprl/refiner/refine_exn.ml
+12 -2	metaprl/refiner/refine_exn.mli
+11 -8	metaprl/refiner/refine_sig.ml
+18 -8	metaprl/refiner/rformat.ml
+6 -2	metaprl/refiner/term_table.ml
+57 -1	metaprl/refiner/term_template.ml
+37 -1	metaprl/refiner/theory.ml
+8 -0	metaprl/refiner/theory.mli
+4 -0	metaprl/theories/base/Makefile
+32 -29	metaprl/theories/base/base_dform.ml
+31 -13	metaprl/theories/base/summary.ml
+5 -0	metaprl/theories/base/summary.mli
+3 -0	metaprl/theories/itt/Makefile
+1 -0	metaprl/theories/tactic/Makefile