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,