Some Eclipse Foundation services are deprecated, or will be soon. Please ensure you've read this important communication.
Bug 316825 - Build Improvements for TPTP 4.7.1
Summary: Build Improvements for TPTP 4.7.1
Status: CLOSED FIXED
Alias: None
Product: z_Archived
Classification: Eclipse Foundation
Component: TPTP (show other bugs)
Version: unspecified   Edit
Hardware: All All
: P2 normal (vote)
Target Milestone: ---   Edit
Assignee: Sean Lamers CLA
QA Contact: Kathy Chan CLA
URL:
Whiteboard:
Keywords:
Depends on:
Blocks:
 
Reported: 2010-06-14 16:40 EDT by Sean Lamers CLA
Modified: 2016-05-05 10:40 EDT (History)
1 user (show)

See Also:


Attachments

Note You need to log in before you can comment on or make changes to this bug.
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.