Event-B:Village pump: Difference between revisions
imported>Mathieu m link correction for "Post a new message" |
imported>Mathieu m New section: Previous latex documentation being imported |
||
| Line 18: | Line 18: | ||
* [[:Category:User Manual]] (9 members) | * [[:Category:User Manual]] (9 members) | ||
You can use them (or any other one) by adding <nowiki>[[Category:Category Name]]</nowiki> or <nowiki>[[Category:Category Name|Name displayed in the Category page]]</nowiki> at the end of any wiki page [[User:Mathieu|Mathieu]] 11:17, 3 July 2008 (BST) | You can use them (or any other one) by adding <nowiki>[[Category:Category Name]]</nowiki> or <nowiki>[[Category:Category Name|Name displayed in the Category page]]</nowiki> at the end of any wiki page [[User:Mathieu|Mathieu]] 11:17, 3 July 2008 (BST) | ||
== Previous latex documentation being imported == | |||
Hello, I'm in the process of importing existing latex documentation into this wiki. | |||
While doing so, those documents may not render well (images not uploaded, math formulas not displayed, ...). I'll announce here when I'm finished with the process of tweaking my import process and the resulting pages. Thank you for your patience. [[User:Mathieu|Mathieu]] 11:38, 3 July 2008 (BST) | |||
Revision as of 10:38, 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)
Previous latex documentation being imported
Hello, I'm in the process of importing existing latex documentation into this wiki.
While doing so, those documents may not render well (images not uploaded, math formulas not displayed, ...). I'll announce here when I'm finished with the process of tweaking my import process and the resulting pages. Thank you for your patience. Mathieu 11:38, 3 July 2008 (BST)
