Template:Main Page/User Documentation: Difference between revisions

From Event-B
Jump to navigationJump to search
← Older edit
imported>Mathieu
m categorization
imported>Colin
 
(27 intermediate revisions by 8 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:50%;border:1px solid #AAAAAA;background:#FFFFFF">
<div style="margin:0;width:57%;border:1px solid #AAAAAA;background:#FFFFFF">
</noinclude>
</noinclude>
[[Event-B Language]] | <small>[[Event-B Mathematical Language|Mathematical Language]] • [[Event-B Modelling Language|Modelling Language]] • [[:Category:Event-B|''Event-B'' category]]</small>
<div style="clear:both;"></div>
<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]]


[[Rodin Platform|Rodin Platform User Support]] | <small>[[Rodin User Manual|User Manual]] • [[Rodin Tutorials|Tutorial]] • [[:Category:User documentation|''User documentation'' category]]</small>
<div style="clear:both;"></div>
<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]]


[[Rodin Plug-ins|Rodin Plug-in User Support]] | <small>[[UML-B]] • [[B2Latex]] • [[ProB]] • [[AnimB]] • [[Requirements Tutorial|Requirements]] • [[:Category:Plugin|''Plugin'' category]] </small>
<div style="clear:both;"></div>
<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]]


[[FAQ]]
<div style="clear:both;"></div>
<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;border-bottom:1px solid#aaaaaa;">[[FAQ]]</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>

Latest revision as of 14:22, 15 January 2019

Displayed as follow on the Main Page

Retrieved from ‘https://wiki.event-b.org/index.php?title=Template:Main_Page/User_Documentation&oldid=13111’