[tptp-news] TPTP 4.1 release available

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

[tptp-news] TPTP 4.1 release available

From: "Yao, Ling" <ling.yao@xxxxxxxxx>
Date: Thu, 1 Dec 2005 09:59:06 -0800
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: AcX2oOvh9nU29duMSHe08D7uqf8z0g==
Thread-topic: TPTP 4.1 release available

Title: TPTP 4.1 release available

The highly anticipated TPTP 4.1 release is now available for download here. It is a significantly improved release of TPTP. Find out what's new and noteworthy in this release. Take a quick tour of TPTP 4.1 too.

For more information about the Eclipse TPTP project, visit www.eclipse.org/tptp/

Ling Yao
Intel® Software Development Products
www.intel.com/software/products
Phone: (503) 264-6903
Cell: (503) 819-5108
ling.yao@xxxxxxxxx

Prev by Date: [tptp-news] TPTP Selected as Finalist for 2005 Testers Choice Award
Next by Date: [tptp-news] TPTP 4.2 M3 Development Build Available
Previous by thread: [tptp-news] TPTP Selected as Finalist for 2005 Testers Choice Award
Next by thread: [tptp-news] TPTP 4.2 M3 Development Build Available
Index(es):
- Date
- Thread

Breadcrumbs