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 |