Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 2002-02-26 12:21:12 -0800 (Tue, 26 Feb 2002)
Revision: 3519
Log message:
String_util cleanup:
- Removed some duplicated and unused string code.
- Removed couple of functions from string_util that were added
to the stdlib String module in recent versions of Ocaml