Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 2004-07-14 14:27:10 -0700 (Wed, 14 Jul 2004)
Revision: 6081
Log message:

      ***************************************************************************
      * WARNING: With this commit MetaPRL now requires OCaml 3.08 and OMake 0.8 *
      ***************************************************************************
      
      This commit:
      - Updates MetaPRL to be compatible with OCaml 3.08 (some of the code for
      handling the new "position" type is still half-baked, waiting for the
      resolution of bug 256.
      - Moves the "C:\ocaml\lib" default into mk/defaults.
      - Removes references to mk/make_config.sh from mk/make_config
      

Changes  Path
+8 -15 metaprl/OMakefile
+22 -20 metaprl/filter/base/filter_exn.ml
+13 -204 metaprl/filter/base/filter_hash.ml
+205 -78 metaprl/filter/base/filter_ocaml.ml
+16 -11 metaprl/filter/base/filter_summary.ml
+25 -1 metaprl/filter/base/filter_util.ml
+3 -0 metaprl/filter/base/filter_util.mli
+2 -8 metaprl/filter/base/free_vars.ml
+4 -4 metaprl/filter/filter/filter_prog.ml
+24 -19 metaprl/filter/filter/term_grammar.ml
+10 -5 metaprl/mk/defaults
+4 -4 metaprl/mk/make_config
+1 -1 metaprl/mllib/comment_parse.mli
+2 -2 metaprl/mllib/comment_parse.mll
+15 -3 metaprl/support/shell/mptop.ml
+12 -13 metaprl/support/shell/shell_state.ml
+1 -1 metaprl/tactics/proof/proof_boot.ml
+4 -2 metaprl/util/ocamldep.mll
+13 -9 metaprl/util/pa_macro.ml