Difference between revisions of "Category:Tools"
From Termination-Portal.org
Jump to navigationJump to search (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...) |
|||
| 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.
