[tptp-news] TPTP 4.5.0 is released!

[Paul Slauenwhite <paules@xxxxxxxxxx>]

TPTP Community,
 
The TPTP 4.5.0 release (Ganymede) is now available for download:
 
http://www.eclipse.org/tptp/home/downloads/?ver=4.5.0

To install the TPTP 4.5.0 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 release contains many new enhancements and defect fixes not available in TPTP 4.4.1.  For more information, see:
 
New and Noteworthy:
 
http://www.eclipse.org/tptp/home/downloads/4.5.0/documents/whatsnew/new_and_noteworthy.html
 
Quick Tour:
 
http://www.eclipse.org/tptp/home/downloads/4.5.0/documents/quicktour/quick_tour.html
 
 Documentation:
 
http://help.eclipse.org/ganymede/index.jsp
 
Paul Slauenwhite