Difference between revisions of "MediaWiki:Sidebar"

From Event-B
Jump to navigationJump to search
imported>WikiSysop
imported>WikiSysop
Line 1: Line 1:
 
* navigation
 
* navigation
** mainpage|Event-B Doc Wiki
+
** mainpage|Event-B Doc Mainpage
 
** Rodin_Platform|Rodin Platform Doc
 
** Rodin_Platform|Rodin Platform Doc
** Rodin_Plug-ins|Plug-ins Doc
+
** Rodin_Plug-ins|Plug-in Doc
** Rodin_Developer_Support|Developer Support doc
+
** 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 and Rodin
 
** http://www.event-b.org|Event-B and Rodin

Revision as of 15:09, 12 June 2008

  • navigation
    • mainpage|Event-B Doc Mainpage
    • Rodin_Platform|Rodin Platform Doc
    • Rodin_Plug-ins|Plug-in 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