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:	TPTP	Assignee:	Joel Cayne <jcayne>
Status:	CLOSED FIXED	QA Contact:
Severity:	normal
Priority:	P1	CC:	analexee, guru.nagarajan, jkubasta, smith
Version:	unspecified	Keywords:	plan
Target Milestone:	---
Hardware:	All
OS:	All
Whiteboard:
Bug Depends on:	210117
Bug Blocks:

Description Paul Slauenwhite

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

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

2008-02-12 10:22:01 EST

Verified in 4.5.0-200802100400.