Notice: this Wiki will be going read only early in 2024 and edits will no longer be possible. Please see: https://gitlab.eclipse.org/eclipsefdn/helpdesk/-/wikis/Wiki-shutdown-plan for the plan.
Difference between revisions of "TPTP Profiling Initiative Feedback Summary"
(New page: = TPTP Profiling Initiative Feedback Summary = == Background == During TPTP v4.5.2 iteration 1 and 2 development, invitation was sent to the TPTP and Eclipse community targeting plug-in d...) |
|||
Line 6: | Line 6: | ||
== Feedback == | == Feedback == | ||
− | + | {| border="1" cellpadding="2" | | |
+ | !width="200" style="background:mediumslateblue; color:white"|Resource | ||
+ | !width="500" style="background:mediumslateblue; color:white"|Description | ||
+ | |||
+ | |- | ||
+ | | TPTP [http://www.eclipse.org/tptp/ home page]||Look here for information about TPTP projects, user resources and participation. | ||
+ | |} | ||
Revision as of 14:14, 11 December 2008
TPTP Profiling Initiative Feedback Summary
Background
During TPTP v4.5.2 iteration 1 and 2 development, invitation was sent to the TPTP and Eclipse community targeting plug-in developer to evaluate the TPTP driver and provide feedback for improvement. This page summaries the feedback collected and tracks the defects opened to address the problem.
Feedback
Resource | Description |
---|---|
TPTP home page | Look here for information about TPTP projects, user resources and participation. |