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

Bug 195652

Summary: Add TPTP features to Eclipse Welcome.
Product: z_Archived Reporter: Paul Slauenwhite <paulslau>
Component: TPTPAssignee: Joel Cayne <jcayne>
Status: CLOSED FIXED QA Contact:
Severity: normal    
Priority: P1 CC: analexee, guru.nagarajan, jkubasta, smith
Version: unspecifiedKeywords: plan
Target Milestone: ---   
Hardware: All   
OS: All   
Whiteboard:
Bug Depends on: 210117    
Bug Blocks:    

Description Paul Slauenwhite CLA 2007-07-06 09:50:49 EDT
Add TPTP features to Eclipse Welcome.

Note: This is a root-level defect for adding the TPTP features to Eclipse Welcome.  

In Eclipse 3.3, the Eclipse User Assistance team provided an
enhancement in 3.3 to make the new features installed into the Eclipse
Platform more visible.  TPTP should leverage this enhancement to show and
highlight TPTP features in the corresponding Welcome page.  For more information, see:

http://dev.eclipse.org/mhonarc/lists/cross-project-issues-dev/msg01204.html
http://www.eclipse.org/eclipse/platform-ua/documents/intro_3_3_features.html
Comment 1 Joel Cayne CLA 2008-01-18 14:42:01 EST
The plug-in org.eclipse.tptp.platform.welcome has been created, checked in and added to the org.eclipse.tptp.platform.core feature. The build changes have been made as well. Paul has updated the plug-in with the TPTP icon.
Comment 2 Paul Slauenwhite CLA 2008-02-12 10:22:01 EST
Verified in 4.5.0-200802100400.