Changes by: Aleksey Nogin (nogin at metaprl.org)
Date: 2007-04-17 16:52:40 -0700 (Tue, 17 Apr 2007)
Revision: 10454
Log message:

      More 3.10+beta changes.

Changes  Path
+6 -5 metaprl-branches/ocaml-3.10/filter/base/filter_exn.mli
+6 -8 metaprl-branches/ocaml-3.10/filter/base/filter_grammar.ml
+1 -1 metaprl-branches/ocaml-3.10/filter/base/filter_magic.ml
+43 -41 metaprl-branches/ocaml-3.10/filter/base/filter_type.ml
+5 -9 metaprl-branches/ocaml-3.10/filter/filter/filter_patt.mli
+6 -4 metaprl-branches/ocaml-3.10/refiner/reflib/mp_resource.ml
+0 -2 metaprl-branches/ocaml-3.10/refiner/reflib/simple_print.mli
+6 -6 metaprl-branches/ocaml-3.10/refiner/term_gen/term_addr_gen.ml
+6 -5 metaprl-branches/ocaml-3.10/support/shell/shell_p4_sig.mlz
+7 -7 metaprl-branches/ocaml-3.10/support/shell/shell_sig.mlz
+4 -3 metaprl-branches/ocaml-3.10/tactics/proof/options_boot.ml
+8 -7 metaprl-branches/ocaml-3.10/tactics/proof/proof_boot.ml
+5 -4 metaprl-branches/ocaml-3.10/tactics/proof/rewrite_boot.ml