Some Eclipse Foundation services are deprecated, or will be soon. Please ensure you've read this important communication.
Bug 317705 - Update TPTP 4.7.0 web documentation for the Test Project.
Summary: Update TPTP 4.7.0 web documentation for the Test Project.
Status: CLOSED FIXED
Alias: None
Product: z_Archived
Classification: Eclipse Foundation
Component: TPTP (show other bugs)
Version: unspecified   Edit
Hardware: All All
: P1 major (vote)
Target Milestone: ---   Edit
Assignee: Paul Slauenwhite CLA
QA Contact: Kathy Chan CLA
URL:
Whiteboard:
Keywords:
Depends on:
Blocks: 314153
  Show dependency tree
 
Reported: 2010-06-23 10:11 EDT by Paul Slauenwhite CLA
Modified: 2016-05-05 10:31 EDT (History)
1 user (show)

See Also:


Attachments
Patch. (14.31 KB, patch)
2010-06-23 10:39 EDT, Paul Slauenwhite CLA
no flags Details | Diff

Note You need to log in before you can comment on or make changes to this bug.
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.