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