Hi TPTP Community, The TPTP 4.7.2 release (part of the Eclipse Helios SR2 release) is now available for download:
Download: http://www.eclipse.org/tptp/home/downloads/?ver=4.7.2 To install the TPTP 4.7.2 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.7.1. 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 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
