Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 2001-09-24 09:11:38 -0700 (Mon, 24 Sep 2001)
Revision: 3406
Log message:

      Native code compilcation works now. Unfortunatelly, the bytecode one still
      complains about the Odyl_main incompatibility...
      
      I converted the patches to "diff -u" format for consistency with the previous
      generations of patches.
      

Changes	Path
+1 -1	metaprl-branches/ocaml_3_02/mk/preface
+125 -191	metaprl-branches/ocaml_3_02/patches/camlp4-3.02-opt.patch
+39 -98	metaprl-branches/ocaml_3_02/patches/camlp4-3.02-plexer.patch
+1 -1	metaprl-branches/ocaml_3_02/patches/camlp4-3.02-version.patch
Added	metaprl-branches/ocaml_3_02/patches/camlp4-3.02.spec
Properties	metaprl-branches/ocaml_3_02/patches/camlp4-3.02.spec
Added	metaprl-branches/ocaml_3_02/patches/ocaml-3.02-1.spec
Properties	metaprl-branches/ocaml_3_02/patches/ocaml-3.02-1.spec
+2 -2	metaprl-branches/ocaml_3_02/theories/tactic/mptop.ml