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.
TPTP project metrix
Revision as of 16:34, 21 April 2010 by Kathy.ca.ibm.com (Talk | contribs) (New page: == TPTP 4.7 == * Number of plugins: * Number of features: * Number of committers: * Number of bugs opened on TPTP 4.7: * Number of bugs fixed in TPTP 4.7:)
TPTP 4.7
- Number of plugins:
- Number of features:
- Number of committers:
- Number of bugs opened on TPTP 4.7:
- Number of bugs fixed in TPTP 4.7: