Difference between revisions of "Category:Tools"

From Termination-Portal.org
Jump to navigationJump to search
 
(One intermediate revision by the same user not shown)
Line 6: Line 6:
 
  type=createarticle
 
  type=createarticle
 
  prefix=Tools:
 
  prefix=Tools:
  preload=Template:AddTools
+
  preload=Template:AddTool
  default=shortname
+
  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>