[tptp-news] TPTP 4.4.1 is released!

[Paul Slauenwhite <paules@xxxxxxxxxx>]

TPTP Community,

The TPTP 4.4.1 maintenance release (Europa Winter Maintenance Release) is
now available for download:

http://www.eclipse.org/tptp/home/downloads/?ver=4.4.1

This maintenance release improves on the recent TPTP 4.4.0.3 maintenance
release (Europa Fall Maintenance Release).

For more information on the TPTP 4.4.0 release (Europa Release), see:

New and Noteworthy:

http://www.eclipse.org/tptp/home/downloads/whatsnew/v440/new_and_noteworthy.html

Quick Tour:

http://www.eclipse.org/tptp/home/downloads/quicktour/v44/quick_tour.html

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

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

PS

---------------------------------------------
Paul Slauenwhite
IBM Toronto Lab, Canada

Internet: paules@xxxxxxxxxx
Telephone: (905) 413-3861
Tie Line: 313-3861
---------------------------------------------