Notice: This Wiki is now read only and edits are no longer possible. Please see: https://gitlab.eclipse.org/eclipsefdn/helpdesk/-/wikis/Wiki-shutdown-plan for the plan.
Difference between revisions of "TPTP Profiler"
(→Stand alone profiling) |
|||
Line 8: | Line 8: | ||
== Workbench profiling == | == Workbench profiling == | ||
== Stand alone profiling == | == Stand alone profiling == | ||
− | + | [[Image:workbench_decomposed.gif]] | |
== Attach/detach == | == Attach/detach == |
Revision as of 16:36, 1 April 2008
This document is a working draft. Version 0.1
Last Updated: April 2008