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

Bug 316825

Summary: Build Improvements for TPTP 4.7.1
Product: z_Archived Reporter: Sean Lamers <slamers>
Component: TPTPAssignee: Sean Lamers <slamers>
Status: CLOSED FIXED QA Contact: Kathy Chan <kathy>
Severity: normal    
Priority: P2 CC: jcayne
Version: unspecified   
Target Milestone: ---   
Hardware: All   
OS: All   
Whiteboard:

Description Sean Lamers CLA 2010-06-14 16:40:47 EDT 
This bug will track improvements made to the TPTP build in TPTP 4.7.1.
Comment 1 Kathy Chan CLA 2010-09-09 13:17:03 EDT 
Resolving the defect on behalf of the bug assignee.
Comment 2 Joel Cayne CLA 2010-11-30 13:31:04 EST 
Verified by Sam. Closing on behalf of reporter.