otter/otter-3.3f/Changelog

2 of Otter 3.0.  The most recent entries are at the end.
8 Otter 2.99 released November 25, 1993.
14 Otter 3.0.0 released January 24, 1994.
31 Otter 3.0.1 - DOS version released Feb 22, 1994.
77 Otter 3.0.2 - UNIX version released June 17, 1994
114 Otter 3.0.3 released August 26, 1994.
215    substitution.  Otter was designed for this to be ok, but I forgot
262     If these parameters are not used, Otter should behave as before.
335    attach supported attributes to clauses, and allows Otter programmers to
392    are used as well as Usable.  This is so that ordinary Otter input
400 Otter 3.0.4 released -- August 16, 1995.
407     I'll just silently rerelease 3.0.4, because Otter hasn't changed.
411 Otter 3.0.4 rereleased -- Sept. 24, 1995.
444     line in the ordinary Otter proof.
495     Sept?--Nov?, 1997.  Otter now catches the SIGUSR1 signal; when it
496     happens, statistics are sent to the output file, and Otter exits
498     Otter jobs that is no longer attached to a login shell (i.e., you
499     started Otter in the background, then logged out, then logged in again),
500     you can kill Otter and get statistics.  To kill Otter and get statistics
525     Also, a new flag BELL (default set).  If you clear it, Otter
540 Otter 3.0.5 released -- February 19, 1998.
560     several other changes for the Otter-Ivy interface.
571     If clear(print_proofs), Otter will hang after finding the first
582     ftp://info.mcs.anl.gov/pub/Otter/otter-3.0.6-beta2.tar.gz
611     April 14, 2000 -- silently release Otter-3.0.6.
662 	then Otter expects to find a clause as a command-line
705 	He has an enhanced version of Otter, called SCOTT, that
707  	when Otter is compiled, you get ordinary Otter.  The
708 	rest of the SCOTT stuff is not included in Otter 3.1.
715 	program.  (Previously, MACE would call Otter to parse the input
718 	MACE is now in a subdirectory of the Otter source.
720 	After that was done, I removed the Otter code that created
723     May 11, 2001 -- release Otter 3.2-beta (and MACE 2.0-beta)
725     August 13, 2001 -- release Otter 3.2 and MACE 2.0 for Unix.
830 	messages he got when he compiled Otter on a Windows PC.  These
844         "Otter 3.3 Reference Manual".  Many new flags and
878     September 8, 2003 -- release Otter 3.3 / Mace 2.2
973     can really slow down an Otter job on the Mac.  (Similar to Solaris.)