[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index] [List Home]
[tptp-platform-dev] TPTP 4.6.1 TestPass 1 is completed


The TPTP 4.6.1 TestPass 1 is completed, test result available here.

Note that we are in the week of Fix Pass and all code changes require PMC approval for checking in.

Regards,
___________________________________________

Eugene Chan
IBM Toronto Lab, Canada

email: ewchan@xxxxxxxxxx
pwa: D3-268 | tieline: 313-6102
voice: 1.905.413.6102 | fax: 1.905.413.4850