Event-B:Village pump: Difference between revisions
imported>Son No edit summary |
imported>Son |
||
| Line 47: | Line 47: | ||
A proposal for the [[Main Page]] has been done in [[Talk:Main Page]]. [[User:Mathieu|Mathieu]] 20:53, 10 September 2008 (UTC) | A proposal for the [[Main Page]] has been done in [[Talk:Main Page]]. [[User:Mathieu|Mathieu]] 20:53, 10 September 2008 (UTC) | ||
== Link within a page == | |||
I have a simple question. Is there a way to have a link to a specific place in a document (rather to a document itself)? | I have a simple question. Is there a way to have a link to a specific place in a document (rather to a document itself)? | ||
-- [[User:Son|htson]] 08:56, 11 September 2008 (UTC) | -- [[User:Son|htson]] 08:56, 11 September 2008 (UTC) | ||
Revision as of 08:59, 11 September 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 any user 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)
- You can also use the Post a new message link at the top of this page. Mathieu
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)
Uploading ZIP files ?
Dear Sysops, would it be possible to tweak the wiki configuration in such a manner that it become possible to upload zip files (for example, the models used throughout the tutorial) ? Best regards,Mathieu 23:34, 4 July 2008 (BST)
- Could you also please consider adding the SVG extension .Mathieu 23:49, 4 July 2008 (BST)
Category for files waiting to be deleted
Hello, in the process of uploading images for the user manual, I uploaded some wrong files. I've then created the To delete category, in order to reference file that can be deleted without prior notification, by a wiki administrator.Mathieu 16:41, 6 July 2008 (BST)
August 2008
Graph maintenance
In the process of translating the Event-B Mathematical Language to the wiki, I wonder what would be the best way to port graphs to the wiki.
Either we upload them as images, and we describe how to produce such image (i.e. the latex way), or we translate them into another language understand by a mediawiki extension (for example graphviz). Any advice ? Mathieu 16:45, 11 August 2008 (UTC)
September 2008
Proposal for Main Page
A proposal for the Main Page has been done in Talk:Main Page. Mathieu 20:53, 10 September 2008 (UTC)
Link within a page
I have a simple question. Is there a way to have a link to a specific place in a document (rather to a document itself)? -- htson 08:56, 11 September 2008 (UTC)
