Changes by: Jason Hickey (jyh at cs.caltech.edu)
Date: 1998-05-04 06:01:40 -0700 (Mon, 04 May 1998)
Revision: 2165
Log message:

      Ocaml display without let rec.
      

Changes	Path
+5 -2	metaprl/editor/ml/package_df.ml
+4 -0	metaprl/editor/ml/package_type.mlz
+38 -13	metaprl/editor/ml/test.ml
+5 -1	metaprl/editor/ml/test.mli
+4 -1	metaprl/filter/filter_cache.ml
+444 -197	metaprl/filter/filter_ocaml.ml
+6 -6	metaprl/filter/filter_ocaml.mli
+4 -1	metaprl/filter/filter_proof.ml
+14 -9	metaprl/refiner/dform.ml
+166 -67	metaprl/refiner/rformat.ml
+8 -5	metaprl/refiner/term_table.ml
+8 -3	metaprl/theories/base/summary.ml
+21 -0	metaprl/theories/ocaml/ocaml.mlz
+65 -54	metaprl/theories/ocaml/ocaml_base_df.ml
+34 -27	metaprl/theories/ocaml/ocaml_base_df.mli
+127 -41	metaprl/theories/ocaml/ocaml_expr_df.ml
+4 -0	metaprl/theories/ocaml/ocaml_expr_df.mli
+5 -2	metaprl/theories/ocaml/ocaml_me_df.ml
+33 -10	metaprl/theories/ocaml/ocaml_mt_df.ml
+131 -70	metaprl/theories/ocaml/ocaml_patt_df.ml
+44 -30	metaprl/theories/ocaml/ocaml_sig_df.ml
+32 -10	metaprl/theories/ocaml/ocaml_str_df.ml
+98 -33	metaprl/theories/ocaml/ocaml_type_df.ml