[tptp-pmc] TPTP 4.7.1 RC2 Available

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

[tptp-pmc] TPTP 4.7.1 RC2 Available

From: Samuel S Wu <samwu@xxxxxxxxxx>
Date: Wed, 1 Sep 2010 17:29:54 -0400
Delivered-to: tptp-pmc@eclipse.org

TPTP 4.7.1 Release Candidate 2 is now available for download at

http://www.eclipse.org/tptp/home/downloads/?buildId=TPTP-4.7.1RC2-201008292100

Regards,

Samuel

Prev by Date: [tptp-pmc] New to TPTP
Next by Date: [tptp-pmc] AUTO: Eugene Chan/Toronto/IBM is out of the office. (returning 09/07/2010)
Previous by thread: [tptp-pmc] New to TPTP
Next by thread: [tptp-pmc] AUTO: Eugene Chan/Toronto/IBM is out of the office. (returning 09/07/2010)
Index(es):
- Date
- Thread