Skip to main content

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index] [List Home]
[tptp-news] TPTP 4.4.0.3 is released!


TPTP Community,

   The TPTP 4.4.0.3 maintenance release is now available for download:


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

   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.3 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


Thanks,
Joanna

Back to the top