Category:Tools

From Termination-Portal.org
Revision as of 12:37, 29 March 2008 by Admin (talk | contribs)
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>