[tptp-news] TPTP 4.2 I2 / Callisto RC0 Stable Build Available

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

[tptp-news] TPTP 4.2 I2 / Callisto RC0 Stable Build Available

From: "Doddapaneni, Srinivas P" <srinivas.p.doddapaneni@xxxxxxxxx>
Date: Thu, 20 Apr 2006 05:12:36 -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: AcZkcv/u7zwsMiU6S4uRJvO0sVtUFAAAKMqQ
Thread-topic: TPTP 4.2 I2 / Callisto RC0 Stable Build Available

All,

TPTP 4.2 I2 stable build is now available for download from the URL below. Note that this is same as the TPTP build present in Callisto RC0.

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

Thanks,

-Sri Doddapaneni

TPTP Platform Project Lead / PMC Member

Engineering Manager

Intel Software Development Tools

Intel Corporation | www.intel.com/software/products

Prev by Date: [tptp-news] TPTP 4.2 i1 / Callisto M5 Milestone Available
Next by Date: [tptp-news] Eclipse TPTP Java Profiler Summit
Previous by thread: [tptp-news] TPTP 4.2 i1 / Callisto M5 Milestone Available
Next by thread: [tptp-news] Eclipse TPTP Java Profiler Summit
Index(es):
- Date
- Thread

Back to the top