Difference between revisions of "MediaWiki:Sidebar"
From Event-B
Jump to navigationJump to searchimported>WikiSysop |
imported>WikiSysop |
||
| Line 8: | Line 8: | ||
** randompage-url|randompage | ** randompage-url|randompage | ||
** helppage|Wiki help | ** helppage|Wiki help | ||
| − | ** Event-B:Village_pump | + | ** Event-B:Village_pump|Village Pump |
** http://www.event-b.org|Event-B and Rodin | ** http://www.event-b.org|Event-B and Rodin | ||
Revision as of 21:44, 3 July 2008
- navigation
- mainpage|Doc Mainpage
- Event-B_Language|Event-B Language Doc
- Rodin_Platform|Rodin Platform Doc
- Rodin_Plug-ins|Plug-in Doc
- Rodin_Developer_Support|Developer Support Doc
- recentchanges-url|recentchanges
- randompage-url|randompage
- helppage|Wiki help
- Event-B:Village_pump|Village Pump
- http://www.event-b.org%7CEvent-B and Rodin
