Changes by: Jason Hickey (jyh at cs.caltech.edu)
Date: 2005-04-02 21:14:50 -0800 (Sat, 02 Apr 2005)
Revision: 7093
Log message:

      Incomplete support for strings in the backend.
      

Changes	Path
+1 -1	metaprl/refiner/reflib/dform.ml
+1 -0	mpcompiler/mmc/extensions/string/Files
+24 -2	mpcompiler/mmc/extensions/string/mmc_ext_string.ml
Added	mpcompiler/mmc/extensions/string/mmc_x86_string.ml
Properties	mpcompiler/mmc/extensions/string/mmc_x86_string.ml
Added	mpcompiler/mmc/extensions/string/mmc_x86_string.mli
Properties	mpcompiler/mmc/extensions/string/mmc_x86_string.mli
+5 -0	mpcompiler/mmc/test/mmc_special_test.ml