Template:Main Page/User Documentation: Difference between revisions
From Event-B
Jump to navigationJump to search
imported>Tommy |
imported>Tommy mNo edit summary |
||
| 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> | ||
| Line 15: | Line 15: | ||
<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="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 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> | |||
<div | |||
<noinclude> | <noinclude> | ||
</div> | </div> | ||
[[Category:Main page templates|User Documentation]] | [[Category:Main page templates|User Documentation]] | ||
</noinclude> | </noinclude> | ||
