Some Eclipse Foundation services are deprecated, or will be soon. Please ensure you've read this important communication.

Bug 314945

Summary: Update TPTP Project Info
Product: z_Archived Reporter: Kathy Chan <kathy>
Component: TPTPAssignee: Kathy Chan <kathy>
Status: CLOSED FIXED QA Contact: Kathy Chan <kathy>
Severity: normal    
Priority: P2    
Version: unspecified   
Target Milestone: ---   
Hardware: PC   
OS: Windows XP   
Whiteboard:

Description Kathy Chan CLA 2010-05-28 14:54:32 EDT 
Update list of committers at:

http://www.eclipse.org/tptp/home/project_info/structure/TPTP_Project_Info.html#Committers
Comment 1 Kathy Chan CLA 2010-05-28 14:55:52 EDT 
Other parts of http://www.eclipse.org/tptp/home/project_info/structure/TPTP_Project_Info.html needs to be updated as well.
Comment 2 Kathy Chan CLA 2010-06-21 16:10:40 EDT 
The following committer access had been removed:

> Joanna: tptp-trace, tptp-test-result, tptp-home, tptp-main
> Navid:  tptp-test-result

Joel had also checked in changes to update the TPTP Project Component structures.
Comment 3 Kathy Chan CLA 2011-02-11 13:46:01 EST 
This defect had been resolved as FIXED for more than 1 month.  Please verify with the latest TPTP 4.7.2 driver.  If this defect is still left unverified by February 25, we'll close it on the originator's behalf.

TPTP 4.7.2 driver can be downloaded from:

http://www.eclipse.org/tptp/home/downloads/?ver=4.7.2
Comment 4 Kathy Chan CLA 2011-04-09 16:36:08 EDT 
Closing.