Event-B:Village pump: Difference between revisions
From Event-B
Jump to navigationJump to search
imported>Mathieu m Event-B:Village Pump moved to Event-B:Village pump: bad cases |
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§ion=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 ~~~~)
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:
- Category:Developer Documentation (1 member)
- Category:Event-B (1 member)
- Category:Plugin (10 members)
- Category:Rodin Platform (10 members)
- Category:Tutorial (1 member)
- Category:User Documentation (20 members)
- Category:User Manual (9 members)
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)
