Difference between revisions of "Template:AddTool"
From Termination-Portal.org
Jump to navigationJump to search| (2 intermediate revisions by 2 users not shown) | |||
| Line 4: | Line 4: | ||
categories and a simple tool page can be created. You may extend | categories and a simple tool page can be created. You may extend | ||
that tool page yourself after the following code block. | 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> | ||
