Difference between revisions of "Template:Main Page/User Documentation"

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:50%;border:1px solid #AAAAAA;background:#FFFFFF">
+
<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: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>[[Rodin User Manual|User Manual]] • [[Rodin Tutorials|Tutorial]] • [[: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]] • [[B2Latex]] • [[ProB]] • [[AnimB]] • [[ReqsManagement|Requirements]] • [[Disprover]] • [[Records|RecordsUser]] • [[: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;border-bottom:1px solid#aaaaaa;">[[FAQ]]</div>
<div style="float:right;width:60%;border-left:1px solid#aaaaaa;"><small>&nbsp;</small></div>[[FAQ]]
+
<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