[tptp-news] TPTP 4.0.1 Release Available

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

[tptp-news] TPTP 4.0.1 Release Available

From: "Thessin, Tyler" <tyler.thessin@xxxxxxxxx>
Date: Tue, 11 Oct 2005 00:25: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: AcXONOXqxTEqr4yRTtaxR9eALpmiQg==
Thread-topic: TPTP 4.0.1 Release Available

Title: TPTP 4.0.1 Release Available

FYI – the TPTP 4.0.1 maintenance release is available (http://www.eclipse.org/tptp/home/downloads/drops/TPTP-4.0.1.html).

This release corresponds to the Eclipse Platform 3.1.1 maintenance release and mainly contains fixes for translation issues found in TPTP 4.0).

Tyler Thessin

PMC Lead | Eclipse TPTP Project | www.eclipse.org

Engineering Manager | Intel Corporation / Software Products Division | www.intel.com

Prev by Date: [tptp-news] Request for Requirements - TPTP 4.2 (June 2006) Requirements Gathering
Next by Date: [tptp-news] FYI - TPTP 4.2 Planning Process
Previous by thread: [tptp-news] Request for Requirements - TPTP 4.2 (June 2006) Requirements Gathering
Next by thread: [tptp-news] FYI - TPTP 4.2 Planning Process
Index(es):
- Date
- Thread

Back to the top