Event-B eventb https://wiki.event-b.org/index.php/Main_Page MediaWiki 1.33.3 first-letter Media Special Talk User User talk Event-B Event-B talk File File talk MediaWiki MediaWiki talk Template Template talk Help Help talk Category Category talk Main Page 0 1 14341 13405 2020-05-19T09:48:36Z RichardCook 1 Protected "[[Main Page]]" ([Edit=Allow only administrators] (indefinite) [Move=Allow only administrators] (indefinite)) wikitext text/x-wiki __NOTOC__ <div id="accueil_title">{{Main Page/title}}</div> <div align="right" class="main_page_frame_link">[[Template:Main Page/title|Edit]]</div> <!-- ===================================================== --> {|width="100%" cellspacing="0" cellpadding="0" style="margin-top:0.6em" <!-- |- |width="50%" valign="middle" style="border:1px solid #CCF7CC;background:#EEFFEE;padding:7px"| {{Encyclopédie recherche}} |style="padding:4px;font-size:1px"|&nbsp; |width="50%" valign="middle" style="border:1px solid #DDDDF7;background:#F7F7FF;padding:7px"| {{Encyclopédie participation}} --> |- |style="font-size:0.6em;line-height:0.6em"|&nbsp; |- | valign="top"| <!-- ============================================= --> {{Main Page/Frame |title = User Documentation |content = Main Page/User Documentation |link = [[Template:Main Page/User Documentation|Edit]] }} <!-- ============================================= --> {{Main Page/Frame |title = [[Developer Documentation]] |content = Main Page/Developer Documentation |link = [[Template:Main Page/Developer Documentation|Edit]] }} <!-- ============================================= --> {{Main Page/Frame |title = Rodin News |content = Dev_News |link = {{nobr|[[Template:Dev_News/Archives|Archives]] ·}} [[Template:Dev_News|Edit]] }} <!-- ============================================= --> |style="padding:4px;font-size:1px"|&nbsp; |width="50%" valign="top"| <!-- ============================================= --> {{Main Page/Frame |title = Community |content = Main Page/Community |link = [[Template:Main Page/Community|Edit]] }} <!-- ============================================= --> {{Main Page/Frame |title = General News |content = News |link = {{nobr|[[Template:News/Archives|Archives]] ·}} [[Template:News|Edit]] }} <!-- ============================================= --> |} rdf8pa2g856gw4phqakrqmcxbm261jd