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

Bug 224569

Summary:	Update project sets for TPTP 4.5.
Product:	z_Archived	Reporter:	Paul Slauenwhite <paulslau>
Component:	TPTP	Assignee:	Joel Cayne <jcayne>
Status:	CLOSED FIXED	QA Contact:
Severity:	normal
Priority:	P3	CC:	jkubasta
Version:	unspecified
Target Milestone:	---
Hardware:	All
OS:	All
Whiteboard:
Bug Depends on:
Bug Blocks:	214221

Description Paul Slauenwhite

2008-03-28 07:54:05 EDT

Update project sets for TPTP 4.5.

These project sets should include all of the TPTP plug-ins , including the new plug-ins created for the as-is components.

Comment 1 Joel Cayne

2008-03-31 08:38:30 EDT


*** This bug has been marked as a duplicate of bug 214221 ***

Comment 2 Paul Slauenwhite

2008-06-10 09:33:16 EDT

Reopening since the new project sets have not been added to the web site (http://www.eclipse.org/tptp/home/documents/extenders.php).

Comment 3 Joel Cayne

2008-06-13 09:08:02 EDT

Links added for 4.5 psf files.

Comment 4 Paul Slauenwhite

2008-06-13 09:22:42 EDT

Verified at http://www.eclipse.org/tptp/home/documents/extenders.php.  Closing.