Release History
-------------------------------------------------------------------------------
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.
-------------------------------------------------------------------------------
