Changes by: Aleksey Nogin (nogin at metaprl.org)
Date: 2007-09-04 15:19:01 -0700 (Tue, 04 Sep 2007)
Revision: 12086
Log message:

      Recreated the OCaml-3.10 branch off the current trunk HEAD.

Changes  Path(relative to metaprl-branches)
Copied ocaml-3.10.0/ (from rev 12084, metaprl)
+27 -19 ocaml-3.10.0/OMakefile_common
+2 -13 ocaml-3.10.0/editor/ml/OMakefile
+14 -22 ocaml-3.10.0/filter/OMakefile
+0 -1 ocaml-3.10.0/filter/base/Files
+15 -14 ocaml-3.10.0/filter/base/filter_cache.ml
+12 -12 ocaml-3.10.0/filter/base/filter_cache_fun.ml
+6 -5 ocaml-3.10.0/filter/base/filter_cache_fun.mli
+9 -29 ocaml-3.10.0/filter/base/filter_exn.ml
+6 -6 ocaml-3.10.0/filter/base/filter_exn.mli
+6 -8 ocaml-3.10.0/filter/base/filter_grammar.ml
+17 -15 ocaml-3.10.0/filter/base/filter_hash.ml
+12 -11 ocaml-3.10.0/filter/base/filter_hash.mli
+1 -1 ocaml-3.10.0/filter/base/filter_magic.ml
+56 -78 ocaml-3.10.0/filter/base/filter_ocaml.ml
+9 -8 ocaml-3.10.0/filter/base/filter_ocaml.mli
+2 -5 ocaml-3.10.0/filter/base/filter_shape.ml
+23 -16 ocaml-3.10.0/filter/base/filter_summary.ml
+6 -5 ocaml-3.10.0/filter/base/filter_summary.mli
+20 -19 ocaml-3.10.0/filter/base/filter_summary_type.ml
+66 -64 ocaml-3.10.0/filter/base/filter_type.ml
+17 -29 ocaml-3.10.0/filter/base/filter_util.ml
+10 -13 ocaml-3.10.0/filter/base/filter_util.mli
Deleted ocaml-3.10.0/filter/base/free_vars.ml
Deleted ocaml-3.10.0/filter/base/free_vars.mli
+13 -12 ocaml-3.10.0/filter/base/infix.ml
+36 -13 ocaml-3.10.0/filter/filter/filter_bin.ml
+77 -13 ocaml-3.10.0/filter/filter/filter_main.ml
+101 -128 ocaml-3.10.0/filter/filter/filter_parse.ml
+13 -16 ocaml-3.10.0/filter/filter/filter_patt.ml
+5 -9 ocaml-3.10.0/filter/filter/filter_patt.mli
+211 -250 ocaml-3.10.0/filter/filter/filter_prog.ml
+12 -11 ocaml-3.10.0/filter/filter/filter_prog.mli
+46 -46 ocaml-3.10.0/filter/filter/filter_reflect.ml
+6 -5 ocaml-3.10.0/filter/filter/filter_reflect.mli
+76 -82 ocaml-3.10.0/filter/filter/term_grammar.ml
+4 -7 ocaml-3.10.0/mk/defaults
+1 -1 ocaml-3.10.0/mk/load_config
+0 -1 ocaml-3.10.0/refiner/reflib/OMakefile
+6 -4 ocaml-3.10.0/refiner/reflib/mp_resource.ml
+6 -4 ocaml-3.10.0/refiner/reflib/mp_resource.mli
+0 -28 ocaml-3.10.0/refiner/reflib/simple_print.ml
+0 -2 ocaml-3.10.0/refiner/reflib/simple_print.mli
+0 -1 ocaml-3.10.0/refiner/term_ds/OMakefile
+6 -6 ocaml-3.10.0/refiner/term_gen/term_addr_gen.ml
+0 -1 ocaml-3.10.0/refiner/term_std/OMakefile
+6 -5 ocaml-3.10.0/support/shell/shell_p4_sig.mlz
+7 -7 ocaml-3.10.0/support/shell/shell_sig.mlz
+4 -1 ocaml-3.10.0/tactics/proof/OMakefile
+4 -3 ocaml-3.10.0/tactics/proof/options_boot.ml
+3 -2 ocaml-3.10.0/tactics/proof/options_boot.mli
+8 -7 ocaml-3.10.0/tactics/proof/proof_boot.ml
+6 -5 ocaml-3.10.0/tactics/proof/proof_term_boot.ml
+9 -8 ocaml-3.10.0/tactics/proof/proof_term_boot.mli
+5 -4 ocaml-3.10.0/tactics/proof/rewrite_boot.ml
+8 -8 ocaml-3.10.0/tactics/proof/tactic_boot.ml
+30 -29 ocaml-3.10.0/tactics/proof/tactic_boot_sig.ml
+9 -13 ocaml-3.10.0/util/OMakefile
Deleted ocaml-3.10.0/util/macro_main.ml
Deleted ocaml-3.10.0/util/pa_macro.ml
Deleted ocaml-3.10/