Changes by: Jason Hickey (jyh at cs.caltech.edu)
Date: 1998-04-29 13:54:17 -0700 (Wed, 29 Apr 1998)
Revision: 2160
Log message:

      Initial working display forms.
      

Changes	Path
+2 -1	metaprl/editor/ml/Makefile
+7 -2	metaprl/editor/ml/package_df.ml
Added	metaprl/editor/ml/test.ml
Properties	metaprl/editor/ml/test.ml
Added	metaprl/editor/ml/test.mli
Properties	metaprl/editor/ml/test.mli
+32 -14	metaprl/filter/filter_parse.ml
+15 -11	metaprl/filter/filter_prog.ml
+20 -21	metaprl/filter/filter_summary.ml
+5 -1	metaprl/filter/filter_summary.mli
+79 -46	metaprl/refiner/dform.ml
+5 -1	metaprl/refiner/dform.mli
+4 -3	metaprl/refiner/term.ml
+25 -17	metaprl/refiner/term_table.ml
+9 -2	metaprl/refiner/term_template.ml
+5 -0	metaprl/refiner/term_template.mli
+0 -1	metaprl/theories/base/Makefile
+35 -32	metaprl/theories/base/base_dform.ml
+3 -1	metaprl/theories/base/base_theory.mlz
+78 -75	metaprl/theories/base/nuprl_font.ml
Deleted	metaprl/theories/base/perv.ml
Deleted	metaprl/theories/base/perv.mli
+43 -36	metaprl/theories/base/summary.ml
+1 -0	metaprl/theories/ocaml/Makefile
+4 -2	metaprl/theories/ocaml/ocaml.mlz
+65 -62	metaprl/theories/ocaml/ocaml_base_df.ml
+6 -2	metaprl/theories/ocaml/ocaml_df.ml
+6 -2	metaprl/theories/ocaml/ocaml_df.mli
+5 -1	metaprl/theories/ocaml/ocaml_df.mlz
+53 -58	metaprl/theories/ocaml/ocaml_expr_df.ml
+12 -9	metaprl/theories/ocaml/ocaml_me_df.ml
+14 -11	metaprl/theories/ocaml/ocaml_mt_df.ml
+56 -53	metaprl/theories/ocaml/ocaml_patt_df.ml
+20 -17	metaprl/theories/ocaml/ocaml_sig_df.ml
+11 -8	metaprl/theories/ocaml/ocaml_str_df.ml
+25 -22	metaprl/theories/ocaml/ocaml_type_df.ml
Added	metaprl/theories/ocaml/perv.ml
Properties	metaprl/theories/ocaml/perv.ml
Added	metaprl/theories/ocaml/perv.mli
Properties	metaprl/theories/ocaml/perv.mli