Eclipse Community Forums - RDF feed
https://www.eclipse.org/forums/
Eclipse Community ForumsTPTP 4.4.1 is released!
https://www.eclipse.org/forums/index.php/mv/msg/38253/124389/#msg_124389
The TPTP 4.4.1 maintenance release (Europa Winter Maintenance Release) is
now available for download:
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: