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 you 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 user page can be created. You may extend
+
       categories and a simple tool page can be created. You may extend
       that user 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 personal data to your userpage, you can do so after this comment. -->
+
<!-- If you want to add some additional information to the tool page, you can do so after this comment. -->
 
</includeonly>
 
</includeonly>

Latest revision as of 17:33, 13 May 2009