TPTP v4.7 is released!

classic Classic list List threaded Threaded
1 message Options
Reply | Threaded
Open this post in threaded view
|

TPTP v4.7 is released!

Kathy Chan

Hi TPTP Community,

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


Download:


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

To install the TPTP 4.7 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.6.2.  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

[hidden email]

_______________________________________________
tptp-monitoring-tools-dev mailing list
[hidden email]
https://dev.eclipse.org/mailman/listinfo/tptp-monitoring-tools-dev