Bug 86638 - Create Probekit Editor documentation
Summary: Create Probekit Editor documentation
Status: CLOSED FIXED
Alias: None
Product: z_Archived
Classification: Eclipse Foundation
Component: TPTP (show other bugs)
Version: unspecified   Edit
Hardware: PC Windows 2000
: P3 normal (vote)
Target Milestone: ---   Edit
Assignee: Kari Halsted CLA
QA Contact:
URL:
Whiteboard: closed460
Keywords: Documentation
Depends on:
Blocks:
 
Reported: 2005-02-25 10:22 EST by Valentina Popescu CLA
Modified: 2016-05-05 11:19 EDT (History)
1 user (show)

See Also:

Attachments
Add an attachment (proposed patch, testcase, etc.)

Note You need to log in before you can comment on or make changes to this bug.
Description Valentina Popescu CLA 2005-02-25 10:22:33 EST 
The new Probekit Editor function available in TPTP 4.0 requires documentation
Comment 1 Nellie Chau CLA 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 CLA 2005-03-23 10:11:11 EST 
Docs should be submitted this Friday, March 25.
Comment 3 Nellie Chau CLA 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 CLA 2005-05-10 16:09:13 EDT 
Checked probekit docs into CVS.
Comment 5 Paul Slauenwhite CLA 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.