Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 2003-03-30 17:17:25 -0800 (Sun, 30 Mar 2003)
Revision: 4355
Log message:

      MetaPRL now compiles with unmodified version of Ocaml 3.04.
      

Changes	Path
+2 -2	metaprl/mk/preface
+1 -6	metaprl/patches/README
Deleted	metaprl/patches/camlp4-3.04-plexer.patch
Deleted	metaprl/patches/camlp4-3.04-version.patch
Deleted	metaprl/patches/camlp4-3.06-version.patch
+1 -1	metaprl/theories/tactic/comment.mli