Template:Main Page/User Documentation: Difference between revisions
From Event-B
Jump to navigationJump to search
imported>Tommy m Fixed presentation of the documentation after my last commit |
imported>Andy |
||
Line 7: | Line 7: | ||
<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] • [[Rodin Tutorials|Tutorials]] • [[:Category:User documentation|''User documentation'' category]]</small></div>[[Rodin Platform|Rodin Platform User Support]] | <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="clear:both;"></div> | <div style="clear:both;"></div> |