Difference between revisions of "Template:AddTool"
From Termination-Portal.org
Jump to navigationJump to search| (4 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]] | ||
--> | --> | ||
| − | {{ | + | {{Tool |
|shortname= | |shortname= | ||
|longname= | |longname= | ||
| 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> | ||
