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 ka...@ca.ibm.com
_______________________________________________ tptp-tracing-profiling-tools-dev mailing list tptp-tracing-profiling-tools-dev@eclipse.org https://dev.eclipse.org/mailman/listinfo/tptp-tracing-profiling-tools-dev
