[tptp-news] TPTP v4.7.1 is released!

[Kathy Chan <kathy@xxxxxxxxxx>]

Hi TPTP Community,

The TPTP 4.7.1 release (part of the Eclipse Helios SR1 release) is now
available for download: 

Download: 

http://www.eclipse.org/tptp/home/downloads/?ver=4.7.1

To install the TPTP 4.7.1 release from within Eclipse, use the TPTP Update
Site (Test and Performance Tools Platform (TPTP) Updates).  Refer
to the install guide for details.

This release contains many defect fixes not available in TPTP 4.7.0.  For
more information on the TPTP 4.7.0 release, see:

New and Noteworthy: 

http://www.eclipse.org/tptp/home/downloads/4.7.0/documents/whatsnew/new_and_noteworthy.html

Quick Tour:

http://www.eclipse.org/tptp/home/downloads/quicktour/v47/quick_tour.html

Installation Guide: 

http://www.eclipse.org/tptp/home/downloads/4.7.0/documents/installguide/InstallGuide.html

Documentation:

http://help.eclipse.org/helios/index.jsp

Regards,
Kathy Chan
IBM Canada Lab

kathy@xxxxxxxxxx