[tptp-news] TPTP 4.5.2 is released!

[Kathy Chan <kathy@xxxxxxxxxx>]

TPTP Community,

The TPTP 4.5.2 maintenance release (Ganymede Service Release 2 or SR2)
is now available for download:

Download:
http://www.eclipse.org/tptp/home/downloads/?ver=4.5.2
Installation Guide:
http://www.eclipse.org/tptp/home/downloads/4.5.0/documents/installguide/InstallGuide45.html

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

TPTP 4.5.0 and TPTP 4.5.1 users can update to the TPTP 4.5.2 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

Regards,
Kathy Chan
IBM Canada Lab

kathy@xxxxxxxxxx