[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index] [List Home]
[tptp-monitoring-tools-dev] TPTP v4.6.1 is released!

TPTP Community,

The TPTP 4.6.1 maintenance release (Galileo Service Release 1 or SR1) is now available for download:

Download:
http://www.eclipse.org/tptp/home/downloads/?ver=4.6.1
To install the TPTP 4.6.1 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/updateManager.php

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

kathy@xxxxxxxxxx