[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[tptp-news] TPTP 4.4.0.2 is released!

TPTP Community,

    The TPTP 4.4.0.2 maintenance release is now available for download:

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

    This maintenance release improves on the recent TPTP 4.4.0 release,
which is part of Europa.  For more information on the TPTP 4.4.0 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.0.2 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

Paul Slauenwhite
TPTP Test Tools Project Lead
http://www.eclipse.org/tptp