Changes by: Jason Hickey (jyh at cs.caltech.edu)
Date: 2004-04-19 19:33:11 -0700 (Mon, 19 Apr 2004)
Revision: 342
Log message:

      Well, Lm_string_util.concat is *not* the same as String.concat.
      I suppose the documentation should say so.  I hope we can recover
      all the places that were mistakenly replaced...
      

Changes	Path
+18 -0	libmojave/stdlib/lm_string_util.ml
+4 -0	libmojave/stdlib/lm_string_util.mli