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