Event-B - User contributions [en-gb]

User:RichardCook

2025-06-24T09:23:08Z

RichardCook:

test2

User:RichardCook

2024-09-24T12:32:33Z

RichardCook: Created page with "test"

test

Main Page

2020-05-19T09:48:36Z

RichardCook: Protected "Main Page" ([Edit=Allow only administrators] (indefinite) [Move=Allow only administrators] (indefinite))

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

|-
|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]]
}}


|}

MediaWiki:Common.css

2020-05-01T08:31:30Z

RichardCook:

/* CSS placed here will be applied to all skins */
/* Standard Navigationsleisten, aka box hiding thingy from .de. Documentation at [[Wikipedia:NavFrame]]. */

div.Boxmerge,
div.NavFrame {
margin: 0;
padding: 4px;
border: 1px solid #aaa;
text-align: center;
border-collapse: collapse;
font-size: 95%;
}
div.Boxmerge div.NavFrame {
border-style: none;
border-style: hidden;
}
div.NavFrame + div.NavFrame {
border-top-style: none;
border-top-style: hidden;
}
div.NavPic {
background-color: #fff;
margin: 0;
padding: 2px;
float: left;
}
div.NavFrame div.NavHead {
height: 1.6em;
font-weight: bold;
background-color: #ccf;
position:relative;
}
div.NavFrame p {
font-size: 100%;
}
div.NavFrame div.NavContent {
font-size: 100%;
}
div.NavFrame div.NavContent p {
font-size: 100%;
}
div.NavEnd {
margin: 0;
padding: 0;
line-height: 1px;
clear: both;
}
a.NavToggle {
position: absolute;
top: 0;
right: 3px;
font-weight: normal;
font-size: 90%;
}
.greyheader {
background:#F0F0F0;
margin:0;
font-size:120%;
font-weight:bold;
border:1px solid #a3b0bf;
text-align:left;
color:#000;
padding:.15em .4em;
}

.greyframe {
border:1px solid #AAA;
background:#fcfcfc;
vertical-align:top;
padding:7px;
margin-bottom:.6em;
}

.main_page_frame_link {
text-align:right;
margin-right:.5em;
font-size:xx-small;
}

.page-Main_Page .firstHeading {
display:none;
}

div.typeset-icon {
display:inline;
border:1px solid #aaaaaa;
}

div.typeset-button {
display:inline;
border:1px solid #aaaaaa;
}

/* Classes for typesetting listings of event B */
.typeset-listing {
font-family:monospace;
margin-top: 0;
border-top-width: 0;
padding-top: 0;
margin-bottom: 0;
border-bottom-width: 0;
padding-bottom: 0
}
p.typeset-l_clause { color:red; font-weight:bold;}
.typeset-l_comment { display:inline; color:grey; font-style:italic;margin-left:1em;}
p.typeset-l_end { color:red;font-weight:bold; }
p.typeset-l_evt_clause { color:blue;font-weight:bold;margin-left:1em; }
p.typeset-l_component {color:black;font-weight:bold;margin-left:1em;}
div.typeset-l_label { display:inline; color:blue; margin-left:1em; margin-right:1em;}
p.typeset-l_variable { margin-left:1em;}
p.typeset-l_invariant { margin-left:1em;}
p.typeset-l_guard { margin-left:3em;}
p.typeset-l_action { margin-left:3em;}
p.typeset-l_param { margin-left:3em;}
p.typeset-l_witness { margin-left:3em;}
.typeset-l_event { color:green;font-weight:bold;margin-left:1em;}

MediaWiki:Common.css

2020-05-01T08:29:06Z

RichardCook:

File:Wiki.png

2020-04-30T21:50:14Z

RichardCook:

Main Page

2020-04-30T20:25:53Z

RichardCook: