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@...
_______________________________________________
tptp-testing-tools-dev mailing list
tptp-testing-tools-dev@...
https://dev.eclipse.org/mailman/listinfo/tptp-testing-tools-dev
