Template:Main Page/User Documentation: Difference between revisions
From Event-B
Jump to navigationJump to search
imported>Jastram Adding Handbook link |
imported>Ladenberger |
||
| 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]] • [[Theory Plug-in|Theory]] • [[B2Latex]] • [[ProB]] • [[AnimB]] • [[ReqsManagement|Requirements]] • [[Disprover]] • [[: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]] • [[Theory Plug-in|Theory]] • [[B2Latex]] • [[ProB]] • [[BMotion Studio]] • [[AnimB]] • [[ReqsManagement|Requirements]] • [[Disprover]] • [[:Category:Plugin|''Plugin'' category]] </small></div>[[Rodin Plug-ins|Rodin Plug-in User Support]] | ||
<div style="clear:both;"></div> | <div style="clear:both;"></div> | ||
