New and Noteworthy
New and Noteworthy in TPTP 4.0.1
Translation Fixes

The latest major TPTP release is TPTP 4.0; TPTP 4.0.1 contains translation fixes to the function on top of the TPTP 4.0.0 base.

It is intended that translation fixes to the on-line help documentation will be included in TPTP 4.0.2; they are not included in TPTP 4.0.1.

Choose a release, either:

View list of resolved bugzillas in TPTP 4.0.1