[tptp-news] TPTP 4.3 Release Available

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

[tptp-news] TPTP 4.3 Release Available

From: "Doddapaneni, Srinivas P" <srinivas.p.doddapaneni@xxxxxxxxx>
Date: Thu, 7 Dec 2006 09:53:06 -0800
Delivered-to: tptp-news@xxxxxxxxxxx
List-archive: <https://dev.eclipse.org/mailman/listinfo/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: AccaKIyC0L1E39T1RSC7XFCmapCm4A==
Thread-topic: TPTP 4.3 Release Available

Title: TPTP 4.3 release available

TPTP 4.3 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.3 too.

Additionally, TPTP 4.2.1.1 maintenance release is also available for download here.

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

TPTP PMC would like to thank everyone for the extreme hard work that went into this release and the parallel development of 4.2.1.1 and 4.2.1 releases among other things.

This is yet another significant step forward for TPTP, along with the recent Tester’s Choice Award (TPTP selected as the best free performance tool!)

Thanks,

Sri Doddapaneni

TPTP PMC Lead

Prev by Date: [tptp-news] 2006 Tester's Choice Awards
Next by Date: [tptp-news] TPTP Sessions at Eclipse 2007.
Previous by thread: [tptp-news] 2006 Tester's Choice Awards
Next by thread: [tptp-news] TPTP Sessions at Eclipse 2007.
Index(es):
- Date
- Thread

Breadcrumbs