Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 2001-07-08 09:12:09 -0700 (Sun, 08 Jul 2001)
Revision: 3322
Log message:

      Use String.concat instead of String_util.concat
      

Changes	Path
+1 -1	metaprl/editor/ml/shell.ml
+1 -1	metaprl/editor/ml/shell_state.ml
+1 -1	metaprl/filter/base/filter_cache_fun.ml
+1 -1	metaprl/mllib/http_server.ml
+0 -9	metaprl/mllib/string_util.ml
+0 -4	metaprl/mllib/string_util.mli
+1 -1	metaprl/refiner/rewrite/rewrite_compile_contractum.ml
+1 -1	metaprl/theories/base/base_dtactic.ml