[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index] [List Home]
[tptp-pmc] TPTP 4.7.1 RC2 Available

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