[tptp-news] TPTP 4.2 I3 stable build is available

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index] [List Home]

[tptp-news] TPTP 4.2 I3 stable build is available

From: "Doddapaneni, Srinivas P" <srinivas.p.doddapaneni@xxxxxxxxx>
Date: Wed, 31 May 2006 21:54:04 -0700
Delivered-to: tptp-news@xxxxxxxxxxx
List-archive: <http://eclipse.org/pipermail/tptp-news>
List-help: <mailto:tptp-news-request@eclipse.org?subject=help>
List-subscribe: <https://dev.eclipse.org/mailman/listinfo/tptp-news>, <mailto:tptp-news-request@eclipse.org?subject=subscribe>
List-unsubscribe: <https://dev.eclipse.org/mailman/listinfo/tptp-news>, <mailto:tptp-news-request@eclipse.org?subject=unsubscribe>
Thread-index: AcaFN2hRDhdsYvezSGWnFpPVn04bpQ==
Thread-topic: TPTP 4.2 I3 stable build is available

Eclipse TPTP Project announces availability of 4.2 I3 stable build. This is also part of Callisto RC4.

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

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

Best Regards,

-Sri Doddapaneni

Eclipse TPTP Project

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

Breadcrumbs