Release History
-------------------------------------------------------------------------------
Release v1.1.3, Thu Aug 25 08:53:57 +1000 1994
 
Changes from v1.1.2 to v1.1.3
0 new problems.
1 bugfixes done, in the domains PUZ.

+ This is the third public release.
+ Some more changes done to the tptp2X utility and tptp_convert
-------------------------------------------------------------------------------
Release v1.1.2, Fri Aug 12 09:04:47 +1000 1994
 
Changes from v1.1.1 to v1.1.2
0 new problems.
1 bugfixes done, in the domains PUZ.

+ This is an intermediate non-official release.
+ The tptp2X utility was broken in v1.1.1. That's been fixed, and is the 
  motivation for this release.
+ The tptp_convert script has been improved substantially.
-------------------------------------------------------------------------------
Release v1.1.1, Tue Jul 5 05:14:27 +1000 1994
 
Changes from v1.1.0 to v1.1.1
0 new problems (0 new abstract problems).
3 bugfixes done, in the domains CID LCL.

+ This is the second public release.
+ Problems SYN04[23]-1 noted to be versions of LCL181 and LCL230. SYN04[23]-1
  have therefore been moved to LCL181-2 and LCL230-2.
-------------------------------------------------------------------------------
Release v1.1.0, Fri Apr 8 12:12:45 +1000 1994
 
Changes from v1.0.0 to v1.1.0
357 new problems (320 new abstract problems), in the domains ANA BOO CID CIV 
    COM GEO GRP LAT LCL NUM PLA PUZ SYN.
736 bugfixes done, in the domains ALG ANA BOO COM GEO GRP NUM PUZ SET.

+ This version has been released to registered TPTP users only.
+ Some critical bugfixes have been done.
+ Two new domains have been introduced : CID = Circuit design
                                     and CIV = Circuit verification
  both in the field of Engineering.
+ The tptp2X utility has been substantially overhauled. The utility can now
  apply a sequence of transformations to clauses, and installation has been
  simplified. See the tptp2X ReadMe file for details.
+ A list of known users is included in the Documents directory.
+ The TPTP release and the release of the last bugfix are now given in the 
  % File field of each problem and axiom set.
-------------------------------------------------------------------------------
Release v1.0.0, Fri Nov 12 15:30:54 +1000 1993
 
+ This is the first public release.
-------------------------------------------------------------------------------
