Changes by: Cristian Tapus (crt at cs.caltech.edu)
Date: 2003-08-14 17:09:32 -0700 (Thu, 14 Aug 2003)
Revision: 4841
Log message:

      Adding extensions for integers and arithmetic.
      

Changes	Path
Added	mpcompiler/mmc/OMakefile
Properties	mpcompiler/mmc/OMakefile
Added	mpcompiler/mmc/extensions/Files
Properties	mpcompiler/mmc/extensions/Files
Added	mpcompiler/mmc/extensions/Makefile
Properties	mpcompiler/mmc/extensions/Makefile
Added	mpcompiler/mmc/extensions/OMakefile
Properties	mpcompiler/mmc/extensions/OMakefile
Added	mpcompiler/mmc/extensions/ext_arithmetic_integer.ml
Properties	mpcompiler/mmc/extensions/ext_arithmetic_integer.ml
Added	mpcompiler/mmc/extensions/ext_arithmetic_integer.mli
Properties	mpcompiler/mmc/extensions/ext_arithmetic_integer.mli
Added	mpcompiler/mmc/extensions/ext_integer.ml
Properties	mpcompiler/mmc/extensions/ext_integer.ml
Added	mpcompiler/mmc/extensions/ext_integer.mli
Properties	mpcompiler/mmc/extensions/ext_integer.mli