Difference between revisions of "MediaWiki:Sidebar"
From Event-B
Jump to navigationJump to searchimported>WikiSysop |
imported>WikiSysop |
||
| Line 1: | Line 1: | ||
* navigation | * navigation | ||
| − | ** mainpage| | + | ** mainpage|Event-B Wiki |
** http://www.event-b.org|Event-B.org | ** http://www.event-b.org|Event-B.org | ||
** Rodin_User_Manual|User manual | ** Rodin_User_Manual|User manual | ||
Revision as of 21:04, 26 March 2008
- navigation
- mainpage|Event-B Wiki
- http://www.event-b.org%7CEvent-B.org
- Rodin_User_Manual|User manual
- Rodin_Developer_Support|Developer support
- currentevents-url|currentevents
- recentchanges-url|recentchanges
- randompage-url|randompage
- helppage|Wiki help
