Changes by: Jason Hickey (jyh at cs.caltech.edu)
Date: 2005-03-17 17:01:49 -0800 (Thu, 17 Mar 2005)
Revision: 6965
Log message:

      Added meta_term grammar to the mmc core.
      Removed the need for the backquote (`)
      before a meta_term in a rule.
      

Changes	Path
+0 -15	metaprl/filter/filter/term_grammar.ml
+3 -0	metaprl/refiner/refiner/refiner_debug.ml
+1 -0	metaprl/refiner/refsig/term_meta_sig.ml
+64 -52	metaprl/refiner/term_gen/term_meta_gen.ml
+0 -0	mpcompiler/mmc/arch/x86/codegen/mmc_x86_reserve.ml
+12 -12	mpcompiler/mmc/arch/x86/type/mmc_x86_type_check_core.ml
+1 -0	mpcompiler/mmc/core/Files
+8 -4	mpcompiler/mmc/core/mmc_core_ast_grammar.mli
Added	mpcompiler/mmc/core/mmc_core_mterm_grammar.ml
Properties	mpcompiler/mmc/core/mmc_core_mterm_grammar.ml
Added	mpcompiler/mmc/core/mmc_core_mterm_grammar.mli
Properties	mpcompiler/mmc/core/mmc_core_mterm_grammar.mli
+2 -2	mpcompiler/mmc/core/mmc_core_type_check.ml
+2 -2	mpcompiler/mmc/extensions/tuple/mmc_x86_tuple.ml
+2 -1	mpcompiler/mmc/test/mmc