Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 2004-12-01 19:20:34 -0800 (Wed, 01 Dec 2004)
Revision: 6303
Log message:

      A new incarnation of the new_parser branch (off of the current trunk).
      

Changes  Path
+5 -5 metaprl-branches/new_parser3/editor/emacs/caml.el
Binary metaprl-branches/new_parser3/editor/emacs/caml.elc
+2 -1 metaprl-branches/new_parser3/filter/base/Files
+238 -127 metaprl-branches/new_parser3/filter/base/filter_cache_fun.ml
Added metaprl-branches/new_parser3/filter/base/filter_grammar.ml
Properties metaprl-branches/new_parser3/filter/base/filter_grammar.ml
Added metaprl-branches/new_parser3/filter/base/filter_grammar.mli
Properties metaprl-branches/new_parser3/filter/base/filter_grammar.mli
+4 -3 metaprl-branches/new_parser3/filter/base/filter_magic.ml
+53 -25 metaprl-branches/new_parser3/filter/base/filter_summary.ml
+78 -59 metaprl-branches/new_parser3/filter/base/filter_summary_type.ml
+30 -29 metaprl-branches/new_parser3/filter/base/filter_type.ml
+223 -38 metaprl-branches/new_parser3/filter/filter/filter_parse.ml
+32 -17 metaprl-branches/new_parser3/filter/filter/filter_prog.ml
+30 -10 metaprl-branches/new_parser3/filter/filter/term_grammar.ml
+2 -1 metaprl-branches/new_parser3/filter/filter/term_grammar.mli
+29 -30 metaprl-branches/new_parser3/mllib/file_base_type.ml
+9 -4 metaprl-branches/new_parser3/support/shell/package_info.ml
+4 -0 metaprl-branches/new_parser3/support/shell/package_info.mli
+6 -0 metaprl-branches/new_parser3/support/shell/shell_core.ml
+2 -1 metaprl-branches/new_parser3/support/shell/shell_package.ml
+40 -0 metaprl-branches/new_parser3/support/shell/shell_state.ml
+2 -0 metaprl-branches/new_parser3/support/shell/shell_state.mli
Properties mpcompiler-branches/new_parser3/mmc
+1 -0 mpcompiler-branches/new_parser3/mmc/arch/x86/runtime/OMakefile
+1 -0 mpcompiler-branches/new_parser3/mmc/core/Files
+38 -0 mpcompiler-branches/new_parser3/mmc/core/mmc_core_ast.ml
+121 -1 mpcompiler-branches/new_parser3/mmc/core/mmc_core_ast.mli
Added mpcompiler-branches/new_parser3/mmc/core/mmc_core_grammar.ml
Properties mpcompiler-branches/new_parser3/mmc/core/mmc_core_grammar.ml
Added mpcompiler-branches/new_parser3/mmc/core/mmc_core_grammar.mli
Properties mpcompiler-branches/new_parser3/mmc/core/mmc_core_grammar.mli
+10 -0 mpcompiler-branches/new_parser3/mmc/extensions/bool/mmc_ext_bool.ml
+29 -0 mpcompiler-branches/new_parser3/mmc/extensions/bool/mmc_ext_bool.mli
+17 -0 mpcompiler-branches/new_parser3/mmc/extensions/int/mmc_ext_int.ml
+68 -0 mpcompiler-branches/new_parser3/mmc/extensions/int/mmc_ext_int.mli
+1 -0 mpcompiler-branches/new_parser3/mmc/extensions/operator/mmc_ext_operator.mli
+1 -0 mpcompiler-branches/new_parser3/mmc/test/Files
+1 -1 mpcompiler-branches/new_parser3/mmc/test/OMakefile
+4 -1 mpcompiler-branches/new_parser3/mmc/test/mmc
Added mpcompiler-branches/new_parser3/mmc/test/mmc_grammar.ml
Properties mpcompiler-branches/new_parser3/mmc/test/mmc_grammar.ml
Added mpcompiler-branches/new_parser3/mmc/test/mmc_grammar.mli
Properties mpcompiler-branches/new_parser3/mmc/test/mmc_grammar.mli
+12 -10 mpcompiler-branches/new_parser3/mmc/test/mmc_int_test.ml