Difference between revisions of "MediaWiki:Sidebar"
From Event-B
Jump to navigationJump to searchimported>WikiSysop |
imported>WikiSysop |
||
Line 1: | Line 1: | ||
* navigation | * navigation | ||
− | ** mainpage|Event-B | + | ** mainpage|Event-B Doc Wiki |
− | ** Rodin_Platform|Rodin Platform | + | ** Rodin_Platform|Rodin Platform Doc |
− | ** Rodin_Plug-ins|Plug-ins | + | ** Rodin_Plug-ins|Plug-ins Doc |
− | ** Rodin_Developer_Support|Developer | + | ** Rodin_Developer_Support|Developer Support doc |
** recentchanges-url|recentchanges | ** recentchanges-url|recentchanges | ||
** randompage-url|randompage | ** randompage-url|randompage | ||
** helppage|Wiki help | ** helppage|Wiki help | ||
− | ** http://www.event-b.org|Event-B | + | ** http://www.event-b.org|Event-B and Rodin |
Revision as of 15:08, 12 June 2008
- navigation
- mainpage|Event-B Doc Wiki
- Rodin_Platform|Rodin Platform Doc
- Rodin_Plug-ins|Plug-ins Doc
- Rodin_Developer_Support|Developer Support doc
- recentchanges-url|recentchanges
- randompage-url|randompage
- helppage|Wiki help
- http://www.event-b.org%7CEvent-B and Rodin