Changes by: Jason J. Hickey (jyh at cs.caltech.edu)
Date: 2008-07-15 19:17:14 -0700 (Tue, 15 Jul 2008)
Revision: 13125
Log message:

      Finally, all the basic stuff is port to Camlp4 3.10.
     
     However, I didn't bother to be careful in keep the new term format
     compatible.  The AST has changed so much, it seems almost impossible
     to do that.
     
     That means that the .prla file are filled with terms in the old format
     that cause errors.  Basically, we just need to ignore the errors.

Changes  Path(relative to metaprl-branches/ocaml-3.10.0)
+15 -6 filter/OMakefile
Properties filter/base/
+1 -0 filter/base/Files
+11 -0 filter/base/OMakefile
Added filter/base/filter_camlp4.ml
+3 -1 filter/base/filter_exn.ml
Copied filter/base/infix-src.ml (from rev 13114, metaprl-branches/ocaml-3.10.0/filter/base/infix.ml)
+14 -9 filter/base/infix-src.ml (from rev 13114, metaprl-branches/ocaml-3.10.0/filter/base/infix.ml)
Deleted filter/base/infix.ml
+6 -5 filter/filter/filter_main.ml
+14 -16 filter/filter/filter_parse.ml
+9 -13 filter/filter/filter_patt.ml
+25 -19 filter/filter/filter_prog.ml
+25 -21 filter/filter/term_grammar.ml
+1 -1 support/display/perv.ml
+4 -2 support/editor/shell_mp.ml
+1 -0 support/shell/mptop.mli
+17 -16 support/shell/package_info.mli
+2 -1 support/shell/proof_edit.ml
+1 -0 support/shell/proof_edit.mli
+7 -6 support/tactics/auto_tactic.ml
+8 -7 support/tactics/dtactic.ml
+5 -4 support/tactics/forward.ml
+1 -0 support/tactics/forward.mli
+3 -2 support/tactics/top_conversionals.ml
+1 -0 support/tactics/top_tacticals.ml
+134 -1 x.ml