[tptp-news] TPTP 4.5.1 is released!

[Paul Slauenwhite <paules@xxxxxxxxxx>]

TPTP Community,

The TPTP 4.5.1 maintenance release (Ganymede Service Release 1 or SR1) is now available for download:
Download:
http://www.eclipse.org/tptp/home/downloads/?ver=4.5.1
Installation Guide:
http://www.eclipse.org/tptp/home/downloads/4.5.0/documents/installguide/InstallGuide45.html

This maintenance release improves on the recent TPTP 4.5.0 release (Ganymede Release).  For more information on TPTP 4.5.0, 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

For TPTP 4.5.0 users, update to the TPTP 4.5.1 release from the TPTP Update Site (Test and Performance Tools Platform (TPTP) Updates) using Update Manager (Equinox p2). For more information, see:

http://www.eclipse.org/tptp/home/downloads/updateManager.php

Paul Slauenwhite