Wiki.overturetool.org:Community Portal

From Wiki.overturetool.org

Will explain how people can help improve the wiki

Account Creation

Due to recent problems with spam we had to restrict user creation. If you want to contribute to the Wiki please send a mail to overturetool-core@overturetool.org.

User information

After registering in the wiki please fill out th user page with information about you. Your user page can be found by clicking your username on the bar on the top right corner.

After reaching your user page, press edit and we suggest the use of the following template:

{{UserPage 
| name = Augusto Ribeiro
| nationality = Portuguese
| education = MSc in Computer Science (Minho University/Aarhus School of Engineering)
| institution = [[Aarhus School of Engineering]]
| responsibilities = Developer/Web-mantainence
}}

You will get something like this:

Creating and editing pages

To create and edit pages you must be logged in, to prevent the attack of spam bots there is a captcha test when creating a user.

If you need help on how wiki writing is made please refer to Help.

Templates

Templates defined on this wiki:

• Warning

You can use this template: {{Warning|message}}

It will be displayed as:

Source code highlight

The wiki extension SyntaxHighlight_GeSHi for source highlighting and we have added the following languages:

• vdmsl
• vdmpp
• vdmrt

Use it as:

<source lang=vdmsl>
 functions
 add : int * int -> int
 add(a,b) == a+b;
< /source>

It will be displayed as:

 functions
 add : int * int -> int
 add(a,b) == a+b;