Template:Main Page/User Documentation: Difference between revisions
From Event-B
Jump to navigationJump to search
imported>Colin |
imported>Colin |
||
| Line 10: | Line 10: | ||
<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]] • [[ | <div style="float:right;width:60%;border-left:1px solid#aaaaaa;"><small>[[UML-B]] • [[B2Latex]] • [[ProB]] • [[AnimB]] • [[ReqsManagement|Requirements]] • [[Disprover]] • [[Records_Extension|Records]] • [[:Category:Plugin|''Plugin'' category]] </small></div>[[Rodin Plug-ins|Rodin Plug-in User Support]] | ||
<div style="clear:both;"></div> | <div style="clear:both;"></div> | ||
