Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 1999-11-21 21:43:56 -0800 (Sun, 21 Nov 1999)
Revision: 2859
Log message:

      Made MetaPRL compatible with ocaml-2.03/camlp4-2.03
      
      At the same time it became incompatible with ocaml-2.02/camlp4-2.02...
      

Changes	Path
+8 -6	metaprl/filter/base/filter_hash.ml
+32 -15	metaprl/filter/base/filter_ocaml.ml
+2 -2	metaprl/filter/base/filter_prog.ml
+8 -6	metaprl/filter/base/mLast_util.ml
+1 -1	metaprl/mk/preface
+2 -2	metaprl/theories/caml/caml_syntax.mli
+10 -6	metaprl/theories/ocaml/ocaml.mlz
+18 -9	metaprl/theories/ocaml/ocaml_sig_df.ml
+4 -4	metaprl/theories/ocaml/ocaml_str_df.ml
+2 -2	metaprl/theories/tactic/mptop.ml
+6 -2	metaprl/util/macro.ml