Difference between revisions of "Template:AddTool"
From Termination-Portal.org
Jump to navigationJump to search(5 intermediate revisions by 2 users not shown) | |||
Line 1: | Line 1: | ||
<includeonly> | <includeonly> | ||
<!-- | <!-- | ||
− | Please fill in the data so that | + | Please fill in the data so that your tool can be added to some default |
− | categories and a simple | + | categories and a simple tool page can be created. You may extend |
− | that | + | that tool page yourself after the following code block. |
+ | |||
+ | Please use the "publication" field to add a reference to a publication | ||
+ | introducing your tool. The "References" page can be used to enter a bibtex | ||
+ | record for this publication. | ||
+ | Example: |publication=[[Bibtex:Giesl04|Automated Termination Proofs with AProVE]] | ||
--> | --> | ||
Line 13: | Line 18: | ||
|university= | |university= | ||
|developers= | |developers= | ||
+ | |publication= | ||
}} | }} | ||
− | <!-- If you want to add some | + | <!-- If you want to add some additional information to the tool page, you can do so after this comment. --> |
</includeonly> | </includeonly> |