Revision 1.6 - (download) (annotate)
Thu Aug 23 14:24:20 2007 UTC (2 years, 3 months ago) by paules
Branch: MAIN
CVS Tags: HEAD
Branch point for: TPTP-4_5_2_1, TPTP-4_6_1, TPTP-4_6_0, TPTP-4_4_1, TPTP-4_5_2
Changes since 1.5: +1 -226 lines

bugzilla_118177

See the TPTP Testing Strategy (http://www.eclipse.org/tptp/home/documents/process/TPTP_Testing_Strategy.html) for an explanation on the process and resources used to test TPTP.