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

From Event-B
Jump to navigationJump to search
imported>WikiSysop
imported>Mathieu
m (New section: Uploading ZIP files ?)
Line 25: Line 25:
  
 
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)
 
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)
 +
 +
== Uploading ZIP files ? ==
 +
 +
Dear Sysops, would it be possible to [http://www.mediawiki.org/wiki/Manual:$wgFileExtensions 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,[[User:Mathieu|Mathieu]] 23:34, 4 July 2008 (BST)

Revision as of 22:34, 4 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 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:

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)