Difference between revisions of "Template:AddTool"
From Termination-Portal.org
Jump to navigationJump to search(3 intermediate revisions by 2 users not shown) | |||
Line 1: | Line 1: | ||
<includeonly> | <includeonly> | ||
<!-- | <!-- | ||
− | Please fill in the data so that your can be added to some default | + | Please fill in the data so that your tool can be added to some default |
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> |