Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 2003-07-11 01:54:00 -0700 (Fri, 11 Jul 2003)
Revision: 110
Log message:

      - Changed the ASCII_IO format to be a bit more flexible. This allowed
      me to get rid of having to print sequents on two separate (hyps and goals) lines.
      For now I had to keep a lot of ugly backwards-compatibility code, but that
      can be cleaned up once we have no files in old format (<= 1.0.6) left.
      
      - Moved the file format version information from Filter_cache to Filter_magic,
      

Changes  Path
+21 -7 libmojave/stdlib/lm_string_util.ml
+3 -0 libmojave/stdlib/lm_string_util.mli