Changes by: Jason J. Hickey (jyh at cs.caltech.edu)
Date: 2008-07-16 13:09:41 -0700 (Wed, 16 Jul 2008)
Revision: 13131
Log message:

      _Almost_ compiles with 3.10.  Term errors during .prla parsing are warnings only.
     
     I don't know how we did the backslash-opnames, like \subtype, but for now it is
     turned off.  You have to write "subtype".
     
     Note, the sequence [< is a single token.  A quotation needs a space around it.
     
        [<< 'A + 'B >>]    (* Incorrect *)
        [ << 'A + 'B >>]   (* Correct *)

Changes  Path(relative to metaprl-branches/ocaml-3.10.0)
Properties filter/base/
+5 -2 filter/base/filter_cache.ml
+3 -2 filter/base/filter_camlp4.ml
+31 -2 filter/base/filter_ocaml.ml
+4 -0 filter/base/filter_ocaml.mli
+3 -2 filter/base/filter_util.ml
+16 -15 filter/filter/filter_prog.ml
+7 -2 filter/filter/term_grammar.ml
+1 -1 refiner/term_ds/term_base_ds.ml
+2 -1 support/shell/package_info.ml
+1 -0 support/shell/shell.ml
+2 -1 support/shell/shell_core.ml
+1 -1 support/shell/shell_p4_sig.mlz
+2 -0 support/shell/shell_package.ml
+2 -1 support/shell/shell_rule.ml
+5 -4 support/shell/shell_rule.mli
+42 -39 support/shell/shell_state.ml
+4 -3 support/shell/shell_state.mli
+4 -4 theories/itt/core/itt_dfun.ml
+7 -7 theories/itt/core/itt_dfun.mli
+4 -4 theories/itt/core/itt_disect.ml
+4 -4 theories/itt/core/itt_dprod.ml
+2 -2 theories/itt/core/itt_ext_equal.ml
+2 -2 theories/itt/core/itt_ext_equal.mli
+6 -5 theories/itt/core/itt_int_arith.ml
+12 -12 theories/itt/core/itt_isect.ml
+4 -4 theories/itt/core/itt_isect.mli
+3 -3 theories/itt/core/itt_list.ml
+2 -2 theories/itt/core/itt_list.mli
+14 -14 theories/itt/core/itt_list2.ml
+1 -1 theories/itt/core/itt_list2.mli
+7 -7 theories/itt/core/itt_list_set.ml
+2 -2 theories/itt/core/itt_logic.ml
+2 -2 theories/itt/core/itt_match.mli
+7 -7 theories/itt/core/itt_nat.ml
+3 -3 theories/itt/core/itt_prec.ml
+3 -3 theories/itt/core/itt_prec.mli
+4 -4 theories/itt/core/itt_prod.ml
+3 -3 theories/itt/core/itt_prod.mli
+3 -3 theories/itt/core/itt_quotient.ml
+2 -2 theories/itt/core/itt_quotient.mli
+4 -4 theories/itt/core/itt_record_exm.ml
+1 -1 theories/itt/core/itt_set.ml
+2 -1 theories/itt/core/itt_sqsimple.ml
+3 -2 theories/itt/core/itt_squash.ml
+4 -4 theories/itt/core/itt_srec.ml
+3 -3 theories/itt/core/itt_srec.mli
+1 -1 theories/itt/core/itt_struct.ml
+2 -2 theories/itt/core/itt_subtype.ml
+1 -1 theories/itt/core/itt_subtype.mli
+3 -3 theories/itt/core/itt_union.ml
+3 -3 theories/itt/core/itt_union.mli
+8 -8 theories/meta/base/base_grammar.mli
+11 -11 theories/meta/base/base_reflection.ml