Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 2005-07-01 01:53:25 -0700 (Fri, 01 Jul 2005)
Revision: 7525
Log message:

      The MMC part of the previous commit
      

Changes	Path
+2 -2	metaprl/support/display/comment.ml
+2 -4	metaprl/theories/itt/itt_image.mli
+2 -18	mpcompiler/mmc/arch/ppc/mmc_ppc_asm.ml
+3 -13	mpcompiler/mmc/arch/ppc/mmc_ppc_codegen.ml
+0 -4	mpcompiler/mmc/arch/ppc/mmc_ppc_frame.ml
+0 -4	mpcompiler/mmc/arch/ppc/mmc_ppc_prologue.ml
+2 -24	mpcompiler/mmc/arch/ppc/mmc_ppc_spill.ml
+1 -2	mpcompiler/mmc/arch/x86/base/mmc_x86_asm.ml
+3 -6	mpcompiler/mmc/arch/x86/codegen/mmc_x86_codegen.ml
+0 -2	mpcompiler/mmc/arch/x86/codegen/mmc_x86_codegen.mli
+1 -1	mpcompiler/mmc/arch/x86/print/mmc_x86_print.ml
+1 -1	mpcompiler/mmc/arch/x86/regalloc/mmc_x86_backend.ml
+4 -23	mpcompiler/mmc/arch/x86/regalloc/mmc_x86_spill.ml
+1 -5	mpcompiler/mmc/core/mmc_core_front.ml
+2 -3	mpcompiler/mmc/core/mmc_core_optimize.ml
+0 -2	mpcompiler/mmc/core/mmc_core_type_erase.ml
+0 -2	mpcompiler/mmc/core/mmc_core_type_erase.mli
+1 -1	mpcompiler/mmc/extensions/tuple/mmc_x86_tuple.ml
+2 -3	mpcompiler/mmc/extensions/tyexists/mmc_x86_tyexists.ml
+3 -3	mpcompiler/mmc/test/OMakefile