Category:Tools

From Termination-Portal.org
Revision as of 12:35, 29 March 2008 by Admin (talk | contribs) (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...)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
Jump to navigationJump to search

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=Tool Name
buttonlabel=Create Tool Entry
align=left

</createarticle>