Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 2000-07-07 00:02:30 -0700 (Fri, 07 Jul 2000)
Revision: 3021
Log message:

      - Fixed the unquoting problem that caused some .prla files to be misread.
      This required fixing the String_util.parse_args to fully match String_util.quote.
      Unfortunatelly, parse_args is used in several places - hopefully I didn't break
      any of those.
      
      - Added several TODO items.
      
      - Made sure we set LC_ALL=C to avoid the problem with different people creating different
      .prla files based on their locale settings.
      

Changes  Path
+1 -0 metaprl/BUGS
+6 -0 metaprl/editor/ml/mpconfig
+1 -1 metaprl/filter/base/filter_cache.ml
+6 -6 metaprl/mk/rules
+48 -38 metaprl/mllib/string_util.ml