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:- TPTP 4.0.0 if you need to use an English version of the latest Released TPTP function.
- TPTP 4.0.1 if you need to use version that supports the latest Released TPTP function in several languages:
- Arabic
- Brazilian
- Czech
- English
- French
- German
- Hungarian
- Italian
- Japanese
- Korean
- Polish
- Russian
- Simplified Chinese
- Spanish
- Traditional Chinese