Changes by: Jason Hickey (jyh at cs.caltech.edu)
Date: 2005-04-26 19:15:50 -0700 (Tue, 26 Apr 2005)
Revision: 7230
Log message:

      Rename the "string" extension to "str", to avoid confusion with
      the "string" function.
      

Changes	Path
+1 -1	metaprl/filter/base/filter_magic.ml
+0 -6	mpcompiler/mmc/OMakefile
+2 -2	mpcompiler/mmc/extensions/string/Files