Difference between revisions of "Category:Tools"
From Termination-Portal.org
Jump to navigationJump to search| Line 6: | Line 6: | ||
type=createarticle | type=createarticle | ||
prefix=Tools: | prefix=Tools: | ||
| − | preload=Template: | + | preload=Template:AddTool |
default=Tool Name | default=Tool Name | ||
buttonlabel=Create Tool Entry | buttonlabel=Create Tool Entry | ||
align=left | align=left | ||
</createarticle> | </createarticle> | ||
Latest 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:AddTool default=Tool Name buttonlabel=Create Tool Entry align=left
</createarticle>
Pages in category "Tools"
The following 28 pages are in this category, out of 28 total.
