Template:Main Page/User Documentation: Difference between revisions

From Event-B
Jump to navigationJump to search
← Older editNewer edit →
imported>Tommy
imported>Tommy
Line 4: Line 4:
</noinclude>
</noinclude>
<div style="clear:both;"></div>
<div style="clear:both;"></div>
<div style="float:right;width:60%;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="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:60%;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="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:60%;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="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:60%;border-left:1px solid#aaaaaa;"><small>[[:Category:Examples|''Examples'' category]]</small></div>[[Event-B Examples|Example models with Event-B]]
<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;"></div>
<div style="float:right;width:60%;border-left:1px solid#aaaaaa;"><small>&nbsp;</small></div>[http://www.youtube.com/user/EventBTv Event-B and Rodin on Youtube]
<div style="float:right;width:70%;border-left:1px solid#aaaaaa;"><small>&nbsp;</small></div>[[FAQ]]


<div style="clear:both;"></div>
<div style="clear:both;"></div>
<div style="float:right;width:60%;border-left:1px solid#aaaaaa;"><small>&nbsp;</small></div>[[FAQ]]
<div style="float:right;width:70%;border-left:1px solid#aaaaaa;"><small>&nbsp;</small></div>[http://www.youtube.com/user/EventBTv Event-B and Rodin on Youtube]
<small>[http://sourceforge.net/projects/rodin-b-sharp/files/Doc_Rodin_General/Rodin_Leaflets/Leaflet_Rodin_E.pdf >>Download the Rodin presentation leaflet<<]</small>
 
<small>&nbsp;</small>&nbsp;
<noinclude>
<noinclude>
</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>
[[Category:Main page templates|User Documentation]]
[[Category:Main page templates|User Documentation]]
</noinclude>
</noinclude>

Revision as of 12:36, 30 May 2013

Displayed as follow on the Main Page

>>Download the Rodin presentation leaflet<<

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