Changes by: Jason Hickey (jyh at cs.caltech.edu)
Date: 2004-04-05 10:39:27 -0700 (Mon, 05 Apr 2004)
Revision: 5598
Log message:

      Added "special" extension for special calls.  It is likely that we
      want to use special for extenal calls too.
      

Changes	Path
+1 -0	mpcompiler/mmc/OMakefile
+0 -1	mpcompiler/mmc/core/Files
Deleted	mpcompiler/mmc/core/core_special.ml
Deleted	mpcompiler/mmc/core/core_special.mli
+12 -22	mpcompiler/mmc/core/mmc_core_reserve.ml
+4 -13	mpcompiler/mmc/core/mmc_core_reserve.mli
+4 -6	mpcompiler/mmc/core/mmc_core_theory.ml
+0 -19	mpcompiler/mmc/extensions/array/mmc_ext_array.ml
Properties	mpcompiler/mmc/extensions/special
Added	mpcompiler/mmc/extensions/special/Files
Properties	mpcompiler/mmc/extensions/special/Files
Added	mpcompiler/mmc/extensions/special/mmc_ext_special.ml
Properties	mpcompiler/mmc/extensions/special/mmc_ext_special.ml
Added	mpcompiler/mmc/extensions/special/mmc_ext_special.mli
Properties	mpcompiler/mmc/extensions/special/mmc_ext_special.mli