Changes by: Jason Hickey (jyh at cs.caltech.edu)
Date: 1998-04-30 07:20:34 -0700 (Thu, 30 Apr 1998)
Revision: 2161
Log message:

      Updating term_table.
      

Changes  Path
Added metaprl/editor/ml/make1
Properties metaprl/editor/ml/make1
+5 -0 metaprl/editor/ml/test.ml
+7 -4 metaprl/filter/filter_ocaml.ml
+5 -2 metaprl/filter/filter_summary.ml
+9 -2 metaprl/refiner/dform.ml
+4 -1 metaprl/refiner/term_table.ml
+4 -1 metaprl/theories/base/summary.ml
+4 -1 metaprl/theories/ocaml/ocaml_df.ml
+6 -1 metaprl/theories/ocaml/ocaml_str_df.ml