Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 2003-07-11 01:54:01 -0700 (Fri, 11 Jul 2003)
Revision: 4729
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
+0 -31 metaprl/filter/base/filter_cache.ml
+68 -2 metaprl/filter/base/filter_magic.ml
+6 -3 metaprl/filter/base/filter_magic.mli
+82 -69 metaprl/refiner/reflib/ascii_io.ml
+2 -4 metaprl/refiner/reflib/ascii_io_sig.ml
+66 -84 metaprl/theories/base/base_rewrite.prla