[tptp-news] TPTP v4.6.1 is released!

[Kathy Chan <kathy@xxxxxxxxxx>]

TPTP Community,

The TPTP 4.6.1 maintenance release (Galileo Service Release 1 or SR1) is
now available for download: 

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

To install the TPTP 4.6.1 release from
within Eclipse, use the TPTP Update Site (Test and Performance Tools Platform
(TPTP) Updates). For more information, see:
 
http://www.eclipse.org/tptp/home/downloads/updateManager.php

This maintenance release improves on
the TPTP 4.6.0 release (Galileo Release).  For more information on
the TPTP 4.6.0 release, see:

New and Noteworthy:
http://www.eclipse.org/tptp/home/downloads/4.6.0/documents/whatsnew/new_and_noteworthy.html

Quick Tour:
http://www.eclipse.org/tptp/home/downloads/4.6.0/documents/quicktour/quick_tour.html

Installation Guide:
http://www.eclipse.org/tptp/home/downloads/4.6.0/documents/installguide/InstallGuide46.html

Documentation:
  
http://help.eclipse.org/galileo/index.jsp



Regards,

Kathy Chan
IBM Canada Lab

kathy@xxxxxxxxxx