Changes by: Nathaniel Gray (n8gray at caltech.edu)
Date: 2004-03-25 15:30:51 -0800 (Thu, 25 Mar 2004)
Revision: 5558
Log message:

      Added a string extension.  Only constant strings for now.
      

Changes  Path
Properties mpcompiler/mmc/extensions/string
Added mpcompiler/mmc/extensions/string/Files
Properties mpcompiler/mmc/extensions/string/Files
Added mpcompiler/mmc/extensions/string/mmc_ext_string.ml
Properties mpcompiler/mmc/extensions/string/mmc_ext_string.ml
Added mpcompiler/mmc/extensions/string/mmc_ext_string.mli
Properties mpcompiler/mmc/extensions/string/mmc_ext_string.mli