TPTP v4.6.2 is released!

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

TPTP v4.6.2 is released!

Kathy Chan

TPTP Community,

The TPTP 4.6.2 maintenance release (Galileo Service Release 2 or SR2) is now available for download:


Download:

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

To install the TPTP 4.6.2 release from within Eclipse, use the TPTP Update Site (Test and Performance Tools Platform (TPTP) Updates). For more information, see:


http://www.eclipse.org/tptp/home/downloads/4.6.0/documents/installguide/InstallGuide46.html

This maintenance release improves on the TPTP 4.6.0 release (Galileo Release).  For more information on the TPTP 4.6.0 release, see:

New and Noteworthy:

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

Quick Tour:

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

Installation Guide:

http://www.eclipse.org/tptp/home/downloads/4.6.0/documents/installguide/InstallGuide46.html

Documentation:


http://help.eclipse.org/galileo/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