Template:Main Page/User Documentation: Difference between revisions
From Event-B
Jump to navigationJump to search
imported>Mathieu m Some display tweak. Allow to add some small subjects |
imported>Mathieu |
||
| Line 4: | Line 4: | ||
</noinclude> | </noinclude> | ||
<div style="clear:both;"></div> | <div style="clear:both;"></div> | ||
<div style="float:right;width:60%;"><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: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="clear:both;"></div> | <div style="clear:both;"></div> | ||
<div style="float:right;width:60%;"><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: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="clear:both;"></div> | <div style="clear:both;"></div> | ||
<div style="float:right;width:60%;"><small>[[UML-B]] • [[B2Latex]] • [[ProB]] • [[AnimB]] • [[Requirements Tutorial|Requirements]] • [[:Category:Plugin|''Plugin'' category]] </small></div>[[Rodin Plug-ins|Rodin Plug-in User Support]] | <div style="float:right;width:60%;border-left:1px solid#aaaaaa;"><small>[[UML-B]] • [[B2Latex]] • [[ProB]] • [[AnimB]] • [[Requirements Tutorial|Requirements]] • [[:Category:Plugin|''Plugin'' category]] </small></div>[[Rodin Plug-ins|Rodin Plug-in User Support]] | ||
<div style="clear:both;"></div> | <div style="clear:both;"></div> | ||
