Difference between revisions of "MediaWiki:Sidebar"
From Event-B
Jump to navigationJump to searchimported>WikiSysop |
imported>WikiSysop |
||
Line 5: | Line 5: | ||
** Rodin_Plug-ins|Plug-ins | ** Rodin_Plug-ins|Plug-ins | ||
** Rodin_Developer_Support|Developer support | ** Rodin_Developer_Support|Developer support | ||
− | |||
** recentchanges-url|recentchanges | ** recentchanges-url|recentchanges | ||
** randompage-url|randompage | ** randompage-url|randompage | ||
** helppage|Wiki help | ** helppage|Wiki help |
Revision as of 11:08, 28 May 2008
- navigation
- mainpage|Event-B Wiki
- http://www.event-b.org%7CEvent-B.org
- Rodin_User_Manual|User manual
- Rodin_Plug-ins|Plug-ins
- Rodin_Developer_Support|Developer support
- recentchanges-url|recentchanges
- randompage-url|randompage
- helppage|Wiki help