Template:Main Page/User Documentation: Difference between revisions
From Event-B
Jump to navigationJump to search
imported>Colin |
imported>Colin |
||
| (18 intermediate revisions by 7 users not shown) | |||
| Line 1: | Line 1: | ||
<noinclude> | <noinclude> | ||
== Displayed as follow on the Main Page == | == Displayed as follow on the Main Page == | ||
<div style="margin:0;width: | <div style="margin:0;width:57%;border:1px solid #AAAAAA;background:#FFFFFF"> | ||
</noinclude> | </noinclude> | ||
<div style="clear:both;"></div> | <div style="clear:both;"></div> | ||
<div style="float:right;width: | <div style="float:right;width:70%;border-left:1px solid#aaaaaa;"><small>[[Event-B Mathematical Language|Mathematical Language]] • [[Event-B Modelling Language|Modelling Language]] • [[:Category:Event-B|''Event-B'' category]]</small></div> [[Event-B Language]] | ||
<div style="clear:both;"></div> | <div style="clear:both;"></div> | ||
<div style="float:right;width: | <div style="float:right;width:70%;border-left:1px solid#aaaaaa;"><small>[http://handbook.event-b.org/ Rodin Handbook] • [http://wiki.event-b.org/index.php/Rodin_Platform_Releases Install Notes] • [[Rodin Tutorials|Tutorials]] • [[:Category:User documentation|''User documentation'' category]]</small></div>[[Rodin Platform|Rodin Platform User Support]] | ||
<div style="clear:both;"></div> | <div style="clear:both;"></div> | ||
<div style="float:right;width: | <div style="float:right;width:70%;border-left:1px solid#aaaaaa;"><small>[[UML-B]] • [[Theory Plug-in|Theory]] • [[B2Latex]] • [[ProB]] • [[BMotion Studio]] • [[AnimB]] • [[ProR|ProR]] • [[Disprover]] • [[:Category:Plugin|''Plugin'' category]] </small></div>[[Rodin Plug-ins|Rodin Plug-in User Support]] | ||
<div style="clear:both;"></div> | <div style="clear:both;"></div> | ||
<div style="float:right;width: | <div style="float:right;width:70%;border-left:1px solid#aaaaaa;"><small>[[:Category:Examples|''Examples'' category]]</small></div>[[Event-B Examples|Example models with Event-B]] | ||
<div style="clear:both;"></div> | <div style="clear:both;border-bottom:1px solid#aaaaaa;">[[FAQ]]</div> | ||
<div | <div><small>[http://www.youtube.com/user/EventBTv Event-B and Rodin on Youtube]</small></div> | ||
<div><small>[http://sourceforge.net/projects/rodin-b-sharp/files/Doc_Rodin_General/Rodin_Leaflets/Leaflet_Rodin_E.pdf >>Download the Rodin presentation leaflet<<]</small></div> | |||
<noinclude> | <noinclude> | ||
</div> | </div> | ||
[[Category:Main page templates|User Documentation]] | [[Category:Main page templates|User Documentation]] | ||
</noinclude> | </noinclude> | ||
