[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[tptp-news] TPTP 4.2 RC2 is available

TPTP 4.2 RC2 for Callisto Simultaneous Release project is available. It contains fixes for bugs 126583 and 140022 relative to the 4.2 I2 stable build.

 

Download link: http://www.eclipse.org/tptp/home/downloads/drops/TPTP-4.2.0-200604131758A.html

Update site:  http://download.eclipse.org/tptp/updates/4.2milestones/site.xml


-Sri Doddapaneni

Eclipse TPTP Project