Category:Tools: Difference between revisions
New page: The following list gives an (incomplete) overview over existing tools for termination analysis. Add a (termination) tool entry! <createarticle> type=createarticle prefix=Tools: preload... |
No edit summary |
||
| Line 7: | Line 7: | ||
prefix=Tools: | prefix=Tools: | ||
preload=Template:AddTools | preload=Template:AddTools | ||
default= | default=shortname | ||
buttonlabel=Create Tool Entry | buttonlabel=Create Tool Entry | ||
align=left | align=left | ||
</createarticle> | </createarticle> | ||
Revision as of 12:37, 29 March 2008
The following list gives an (incomplete) overview over existing tools for termination analysis.
Add a (termination) tool entry! <createarticle>
type=createarticle prefix=Tools: preload=Template:AddTools default=shortname buttonlabel=Create Tool Entry align=left
</createarticle>
Pages in category "Tools"
The following 28 pages are in this category, out of 28 total.