Changes by: Jason Hickey (jyh at cs.caltech.edu)
Date: 2005-03-24 12:48:14 -0800 (Thu, 24 Mar 2005)
Revision: 7040
Log message:

      Forgot to prettify the rules.
      

Changes  Path
+1 -1 mpcompiler/mmc/base/mmc_base_grammar.mli
+9 -7 mpcompiler/mmc/core/mmc_core_ast.mli
+9 -11 mpcompiler/mmc/core/mmc_core_cps.ml
+4 -0 mpcompiler/mmc/core/mmc_core_mterm.mli
+7 -3 mpcompiler/mmc/core/mmc_core_type_check.mli