MediaWiki:Sidebar: Difference between revisions

From Event-B
Jump to navigationJump to search
imported>Mathieu
m Sidebar Organization
imported>Mathieu
m added FAQ. Rename Community to Village Pump
Line 5: Line 5:
** Rodin_Plug-ins|Plug-in
** Rodin_Plug-ins|Plug-in
** Rodin_Developer_Support|Developer Support
** Rodin_Developer_Support|Developer Support
** FAQ|FAQ
** randompage-url|randompage
** randompage-url|randompage
** http://www.event-b.org|''Event-B and Rodin''
** http://www.event-b.org|''Event-B and Rodin''
Line 10: Line 11:
* contribute
* contribute
** helppage|Wiki help
** helppage|Wiki help
** EB:VP|Community
** EB:VP|Village Pump
** recentchanges-url|Recent changes
** recentchanges-url|Recent changes

Revision as of 10:51, 10 November 2008

  • navigation
    • mainpage|Mainpage
    • Event-B_Language|Event-B Language
    • Rodin_Platform|Rodin Platform
    • Rodin_Plug-ins|Plug-in
    • Rodin_Developer_Support|Developer Support
    • FAQ|FAQ
    • randompage-url|randompage
    • http://www.event-b.org%7CEvent-B and Rodin
  • contribute
    • helppage|Wiki help
    • EB:VP|Village Pump
    • recentchanges-url|Recent changes