Release History
--------------------------------------------
Release v1.0.0, Fri Nov 12 15:30:54 +1000 1993
 
Changes from v0.12.0 to v1.0.0
0 new problems.
4 problems updated, in the domains SET.
0 bugfixes done.

This is first public release.
--------------------------------------------
Release v0.12.0, Tue Nov 9 12:28:00 +1000 1993
 
Changes from v0.11.4 to v0.12.0
5 new problems, in the domains SET.
404 problems updated, in the domains GEO LCL MSC NUM PUZ SET SYN.
0 bugfixes done.
--------------------------------------------
Release v0.11.4, Thu Oct 14 08:18:19 +1000 1993
 
Changes from v0.11.3 to v0.11.4
0 new problems.
9 problems updated, in the domains NUM SET.
0 bugfixes done.
--------------------------------------------
Release v0.11.3, Mon Oct 11 10:21:24 +1000 1993
 
Changes from v0.11.2 to v0.11.3
0 new problems.
1 problems updated, in the domains GEO.
0 bugfixes done.
--------------------------------------------
Release v0.11.2, Thu Oct 7 18:15:59 +1000 1993
 
Changes from v0.11.1 to v0.11.2
0 new problems.
39 problems updated, in the domains LAT NUM PUZ SET SYN.
24 bugfixes done, in the domains NUM PUZ.
--------------------------------------------
Release v0.11.1, Wed Sep 22 07:20:49 +1000 1993
 
Changes from v0.11.0 to v0.11.1
0 new problems.
18 problems updated, in the domains GRP PUZ RNG ROB SYN.
0 bugfixes done.
--------------------------------------------
Release v0.11.0, Wed Sep 15 10:54:58 +1000 1993
 
Changes from v0.10.1 to v0.11.0
13 new problems, in the domains GRP SET SYN.
32 problems updated, in the domains ANA BOO COL GRP LCL RNG ROB SET.
0 bugfixes done.
--------------------------------------------
Release v0.10.1, Tue Sep 14 08:09:56 +1000 1993
 
Changes from v0.10.0 to v0.10.1
0 new problems.
15 problems updated, in the domains GRP LCL SET SYN.
0 bugfixes done.
--------------------------------------------
Release v0.10.0, Thu Sep 9 07:47:02 +1000 1993
 
Changes from v0.9.0 to v0.10.0
2 new problems, in the domains SYN.
243 problems updated, in the domains BOO COL GRP LCL NUM RNG SET SYN.
2 bugfixes done, in the domains BOO.
--------------------------------------------
Release v0.9.0, Thu Sep 2 08:50:30 +1000 1993
 
Changes from v0.8.0 to v0.9.0
77 new problems, in the domains MSC SYN.
450 problems updated, in the domains ANA COM GRA GRP LCL MSC NUM RNG SET SYN.
73 bugfixes done, in the domains GRP SYN.

The # in sized problem names has been replaced by . to make
life easier writing shell scripts. This also makes things
better for DOS users, as the size now forms the extension.
--------------------------------------------
Release v0.8.0, Thu Jun 17 09:18:51 EST 1993
 
Changes from v0.7.1 to v0.8.0
154 new problems, in the domains COL GRP LCL LDA MSC PRV RNG ROB SET SYN.
7 problems updated, in the domains COL GRP LCL.
0 bugfixes done.

This is the second beta release.
--------------------------------------------
Release v0.7.1, Tue Jun 15 08:01:01 EST 1993
 
Changes from v0.7.0 to v0.7.1
0 new problems.
38 problems updated, in the domains COL GRP NUM PUZ RNG TOP.
10 bugfixes done, in the domains PUZ RNG.
--------------------------------------------
Release v0.7.0, Tue May 11 11:16:59 EST 1993
 
Changes from v0.6.0 to v0.7.0
12 new problems, in the domains COL LCL RNG.
143 problems updated, in the domains ALG COL LCL MSC RNG ROB SET SYN.
125 bugfixes done, in the domains ALG LCL MSC RNG SET SYN.

New naming scheme for generatable problems. Most of the bugfixes 
are due to resultant renamings.
--------------------------------------------
Release v0.6.0, Fri Apr 23 10:36:54 EST 1993
 
Changes from v0.5.0 to v0.6.0
340 new problems, in the domains LDA MSC NUM RNG TOP.
32 problems updated, in the domains ALG ANA GRP NUM.
13 bugfixes done, in the domains ALG GRP NUM.

Changes to the tptp2X utility : Can now be run from any directory
--------------------------------------------
Release v0.5.0, Thu Apr 15 08:36:25 EST 1993
 
Changes from v0.4.3 to v0.5.0
0 new problems.
0 problems updated.
0 bugfixes done.

This is the beta release.
--------------------------------------------
Release v0.4.3, Sat Apr 10 18:42:13 EST 1993
 
Changes from v0.4.2 to v0.4.3
0 new problems.
0 problems updated.
0 bugfixes done.

Addition of the tptp_convert script.
Changes to the tptp_naming script : Syntactic=semantic names used.
--------------------------------------------
Release v0.4.2, Thu Apr 8 12:44:05 EST 1993
 
Changes from v0.4.1 to v0.4.2
0 new problems.
108 problems updated, in the domains ANA BOO GRP HEN NUM RNG.
0 bugfixes done.

Changes to the tptp2X utility : The header is copied to the output files.
---------------------------------------------
Release v0.4.1, Wed Mar 31 17:26:37 EST 1993
 
Changes from v0.4.0 to v0.4.1
0 new problems.
22 problems updated, in the domains COL PUZ.
22 bugfixes done, in the domains COL PUZ.
--------------------------------------------
Release v0.4.0, Mon Mar 29 13:54:38 EST 1993
 
Changes from v0.3.0 to v0.4.0
85 new problems, in the domains COL LCL SYN.
41 problems updated, in the domains CAT GRP LAT MSC RNG.
3 bugfixes done, in the domains LAT RNG.
--------------------------------------------
Release v0.3.0, Mon Mar 22 09:21:01 EST 1993
 
Changes from v0.2.2 to v0.3.0
28 new problems, in the domains COL HEN.
185 problems updated, in the domains ANA GEO LAT LCL ROB.
143 bugfixes done, in the domains GEO.

Changes to the tptp2X utility : The shorten option has been added.
--------------------------------------------
Release v0.2.2, Fri Mar 12 16:46:58 EST 1993
 
Changes from v0.2.1 to v0.2.2
0 new problems.
791 problems updated, in the domains CAT GEO GRP HEN LAT PRV SET.
1 bugfixes done, in the domains LAT.

Many of the updates result from a rationalisation of the axiom files.
--------------------------------------------
Release v0.2.1, Mon Mar 8 09:08:54 EST 1993
 
Changes from v0.2.0 to v0.2.1
0 new problems.
523 problems updated, in the domains ALG ANA BOO CAT GEO GRP HEN LAT NUM 
    PRV RNG SET.
0 bugfixes done.
--------------------------------------------
Release v0.2.0, Wed Feb 24 09:06:22 EST 1993
 
Changes from v0.1.1 to v0.2.0
1 new problems, in the domains ANA.
6 problems updated, in the domains LAT LCL SET SYN.
1 bugfixes done, in the domains SYN.
--------------------------------------------
