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

Bug 86638

Summary:	Create Probekit Editor documentation
Product:	z_Archived	Reporter:	Valentina Popescu <popescu>
Component:	TPTP	Assignee:	Kari Halsted <khalsted>
Status:	CLOSED FIXED	QA Contact:
Severity:	normal
Priority:	P3	CC:	apratt
Version:	unspecified	Keywords:	Documentation
Target Milestone:	---
Hardware:	PC
OS:	Windows 2000
Whiteboard:	closed460

Description Valentina Popescu

2005-02-25 10:22:33 EST

The new Probekit Editor function available in TPTP 4.0 requires documentation

Comment 1 Nellie Chau

2005-02-28 09:04:15 EST

Allan,
Do you want to take this one since you have been submitting the documentation on
behalf of David anyway?  (btw, David already has the docs that he needs for this)

Comment 2 Nellie Chau

2005-03-23 10:11:11 EST

Docs should be submitted this Friday, March 25.

Comment 3 Nellie Chau

2005-04-08 10:31:33 EDT

Moving this out to i3, and reassigning to Kari to help David Cole check-in his
files for probekit.

Comment 4 Kari Halsted

2005-05-10 16:09:13 EDT

Checked probekit docs into CVS.

Comment 5 Paul Slauenwhite

2009-06-30 07:50:15 EDT

As of TPTP 4.6.0, TPTP is in maintenance mode and focusing on improving quality by resolving relevant enhancements/defects and increasing test coverage through test creation, automation, Build Verification Tests (BVTs), and expanded run-time execution. As part of the TPTP Bugzilla housecleaning process (see http://wiki.eclipse.org/Bugzilla_Housecleaning_Processes), this enhancement/defect is verified/closed by the Project Lead since this enhancement/defect has been resolved and unverified for more than 1 year and considered to be fixed. If this enhancement/defect is still unresolved and reproducible in the latest TPTP release (http://www.eclipse.org/tptp/home/downloads/), please re-open.