Event-B:Village pump

From Event-B
Revision as of 10:17, 3 July 2008 by imported>Mathieu (village pump creation)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
Jump to navigationJump to search

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 ~~~~)

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)