Some Eclipse Foundation services are deprecated, or will be soon. Please ensure you've read this important communication.
Bug 126421 - [probekit docs] Migrate the dynamic probekit documents to TPTP
Summary: [probekit docs] Migrate the dynamic probekit documents to TPTP
Status: CLOSED FIXED
Alias: None
Product: z_Archived
Classification: Eclipse Foundation
Component: TPTP (show other bugs)
Version: unspecified   Edit
Hardware: PC All
: P3 normal (vote)
Target Milestone: ---   Edit
Assignee: Navid Mehregani CLA
QA Contact:
URL:
Whiteboard:
Keywords:
Depends on:
Blocks: 109684
  Show dependency tree
 
Reported: 2006-02-03 17:03 EST by Navid Mehregani CLA
Modified: 2016-05-05 11:08 EDT (History)
0 users

See Also:


Attachments

Note You need to log in before you can comment on or make changes to this bug.
Description Navid Mehregani CLA 2006-02-03 17:03:48 EST
Migrate the dynamic probekit documents to TPTP.  Any association with IBM should be removed. Diagrams also need to be updated, since the UI was slightly modified. 

Ruth, please assign this enhancement to me.
Comment 1 Sri Doddapaneni CLA 2006-03-08 18:29:10 EST
Part of bug#109684.
Comment 2 Navid Mehregani CLA 2006-03-27 23:56:53 EST
Updated docs checked into HEAD at 11:56pm, March 27/06
Comment 3 Navid Mehregani CLA 2006-11-17 14:55:20 EST
Verified on TPTP-4.3.0-200611160100. Closing.