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

Bug 317705

Summary: Update TPTP 4.7.0 web documentation for the Test Project.
Product: z_Archived Reporter: Paul Slauenwhite <paulslau>
Component: TPTPAssignee: Paul Slauenwhite <paulslau>
Status: CLOSED FIXED QA Contact: Kathy Chan <kathy>
Severity: major    
Priority: P1 CC: paulslau
Version: unspecified   
Target Milestone: ---   
Hardware: All   
OS: All   
Whiteboard:
Bug Depends on:    
Bug Blocks: 314153    
Attachments:
Description Flags
Patch. none

Description Paul Slauenwhite CLA 2010-06-23 10:11:11 EDT 
Update TPTP 4.7.0 web documentation for the Test Project.

For example:

-Readme (http://www.eclipse.org/tptp/home/downloads/4.7.0/documents/releasenotes/releasenotes4_7_0.html).

-New/Noteworthy (http://www.eclipse.org/tptp/home/downloads/4.7.0/documents/whatsnew/new_and_noteworthy.html).
Comment 1 Paul Slauenwhite CLA 2010-06-23 10:39:30 EDT 
Created attachment 172510 [details]
Patch.
Comment 2 Paul Slauenwhite CLA 2010-06-23 10:40:09 EDT 
(In reply to comment #0)
> Update TPTP 4.7.0 web documentation for the Test Project.
> 
> For example:
> 
> -Readme
> (http://www.eclipse.org/tptp/home/downloads/4.7.0/documents/releasenotes/releasenotes4_7_0.html).

See attached patch, which was checked into HEAD.

> -New/Noteworthy
> (http://www.eclipse.org/tptp/home/downloads/4.7.0/documents/whatsnew/new_and_noteworthy.html).

No new content.