Difference between revisions of "Event-B:Village pump"

From Event-B
Jump to navigationJump to search
imported>Mathieu
imported>Mathieu
m (Add ''post a new message link'')
Line 1: Line 1:
 
'''Welcome''' to the '''village pump'''. This page is used to discuss the technical issues, policies, and operations of this wiki. Please sign and date your post (by typing <nowiki>~~~~</nowiki>)
 
'''Welcome''' to the '''village pump'''. This page is used to discuss the technical issues, policies, and operations of this wiki. Please sign and date your post (by typing <nowiki>~~~~</nowiki>)
 
<!-- or clicking the signature icon in the edit toolbar. -->
 
<!-- or clicking the signature icon in the edit toolbar. -->
 +
 +
[{{SERVER}}{{localurl:EB:VP|action=edit&section=new}} <small>Post a new message</small>]
  
 
= July 2008 =
 
= July 2008 =

Revision as of 10:30, 3 July 2008

Welcome to the village pump. This page is used to discuss the technical issues, policies, and operations of this wiki. Please sign and date your post (by typing ~~~~)

Post a new message

July 2008

Village pump creation

Hello, this place is now created as a standard wiki page that anybody can modify. Please post your suggestions, questions or piece of information bellow, by adding a new sub-section (using == xxx == markup). Mathieu 11:17, 3 July 2008 (BST)

Proposal for categories

I've started to categorize existing pages with the following categories:

You can use them (or any other one) by adding [[Category:Category Name]] or [[Category:Category Name|Name displayed in the Category page]] at the end of any wiki page Mathieu 11:17, 3 July 2008 (BST)