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"|
|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"|
|-
| 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"|
|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