Difference between revisions of "Template:Main Page/User Documentation"
From Event-B
Jump to navigationJump to searchimported>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> |