Changes by: Jason Hickey (jyh at cs.caltech.edu)
Date: 1998-01-03 15:20:29 -0800 (Sat, 03 Jan 1998)
Revision: 2075
Log message:

      Upgraded to OCaml 1.07, initial semantics of OCaml.
      

Changes  Path
Added metaprl/theories/caml/caml_base.mli
Properties metaprl/theories/caml/caml_base.mli
Added metaprl/theories/caml/caml_common.mli
Properties metaprl/theories/caml/caml_common.mli
Added metaprl/theories/caml/caml_expr.mli
Properties metaprl/theories/caml/caml_expr.mli
Added metaprl/theories/caml/caml_state.mli
Properties metaprl/theories/caml/caml_state.mli
Added metaprl/theories/caml/caml_store.mli
Properties metaprl/theories/caml/caml_store.mli

Changes by: Jason Hickey (jyh at cs.caltech.edu)
Date: 1998-01-27 15:03:33 -0800 (Tue, 27 Jan 1998)
Revision: 2076
Log message:

      Ocaml 1.07.
      

Changes  Path
+96 -4 metaprl/filter/filter_ocaml.ml

Changes by: Jason Hickey (jyh at cs.caltech.edu)
Date: 1998-01-27 15:04:32 -0800 (Tue, 27 Jan 1998)
Revision: 2077
Log message:

      Adding OCaml1.07 syntax.
      

Changes  Path
+39 -1 metaprl/filter/filter_hash.ml
+24 -0 metaprl/filter/filter_ocaml.mli
+34 -2 metaprl/filter/filter_parse.ml
+10 -0 metaprl/filter/filter_parse.mli
+5 -6 metaprl/filter/prlcomp.ml
+5 -1 metaprl/refiner/term.mli
+6 -81 metaprl/theories/caml/caml_expr.mli
Added metaprl/theories/caml/caml_syntax.ml
Properties metaprl/theories/caml/caml_syntax.ml
Added metaprl/theories/caml/caml_syntax.mli
Properties metaprl/theories/caml/caml_syntax.mli