Changes by: Jason Hickey (jyh at cs.caltech.edu)
Date: 2005-02-06 19:33:24 -0800 (Sun, 06 Feb 2005)
Revision: 6611
Log message:

      1. Some work on mmc.
      
      2. Fixed the problem with parsed term in comments.
      > 1) The problem with <:doc< ... << ... >> ... >>
      >
      > still exists.
      
         The terms in comments are now parsed.
      

Changes	Path
+2 -1	metaprl-branches/opname_classes4/filter/filter/term_grammar.ml
+2 -0	mpcompiler-branches/opname_classes4/mmc/base/mmc_base_judgment.ml
+18 -4	mpcompiler-branches/opname_classes4/mmc/core/mmc_core_cps.ml
+2 -2	mpcompiler-branches/opname_classes4/mmc/core/mmc_core_type_infer.ml
+13 -3	mpcompiler-branches/opname_classes4/mmc/extensions/int/mmc_ext_int.ml
+1 -1	mpcompiler-branches/opname_classes4/mmc/test/mmc