[tptp-news] TPTP 4.2 RC2 is available

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[tptp-news] TPTP 4.2 RC2 is available

From: "Doddapaneni, Srinivas P" <srinivas.p.doddapaneni@xxxxxxxxx>
Date: Sun, 7 May 2006 13:03:03 -0700
Delivered-to: tptp-news@eclipse.org
Thread-index: AcZyET/cX3fJoB2JQXixeZWOOCz56w==
Thread-topic: 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

Prev by Date: [tptp-news] Eclipse TPTP Java Profiler Summit
Next by Date: [tptp-news] TPTP 4.3 Release planning - vote for your favorite enhancements/defects
Previous by thread: [tptp-news] Eclipse TPTP Java Profiler Summit
Next by thread: [tptp-news] TPTP 4.3 Release planning - vote for your favorite enhancements/defects
Index(es):
- Date
- Thread