Difference between revisions of "MediaWiki:Sidebar"
From Event-B
Jump to navigationJump to searchimported>WikiSysop |
imported>Mathieu m (Sidebar Organization) |
||
Line 1: | Line 1: | ||
* navigation | * navigation | ||
− | ** mainpage| | + | ** mainpage|Mainpage |
− | ** Event-B_Language|Event-B Language | + | ** Event-B_Language|Event-B Language |
− | ** Rodin_Platform|Rodin Platform | + | ** Rodin_Platform|Rodin Platform |
− | ** Rodin_Plug-ins|Plug-in | + | ** Rodin_Plug-ins|Plug-in |
− | ** Rodin_Developer_Support|Developer Support | + | ** Rodin_Developer_Support|Developer Support |
− | |||
** randompage-url|randompage | ** randompage-url|randompage | ||
+ | ** http://www.event-b.org|''Event-B and Rodin'' | ||
+ | |||
+ | * contribute | ||
** helppage|Wiki help | ** helppage|Wiki help | ||
− | ** | + | ** EB:VP|Community |
− | ** | + | ** recentchanges-url|Recent changes |
Revision as of 11:14, 18 September 2008
- navigation
- mainpage|Mainpage
- Event-B_Language|Event-B Language
- Rodin_Platform|Rodin Platform
- Rodin_Plug-ins|Plug-in
- Rodin_Developer_Support|Developer Support
- randompage-url|randompage
- http://www.event-b.org%7CEvent-B and Rodin
- contribute
- helppage|Wiki help
- EB:VP|Community
- recentchanges-url|Recent changes