Template:Main Page/Developer Documentation: Difference between revisions
From Event-B
Jump to navigationJump to search
imported>Colin |
imported>Colin |
||
| Line 6: | Line 6: | ||
<div style="clear:both;"></div> | <div style="clear:both;"></div> | ||
<div style="float:right;width:50%;border-left:1px solid#aaaaaa;"><small> [[:Category:Developer documentation|Documents in the ''Developer documentation'' category]]</small></div> | <div style="float:right;width:50%;border-left:1px solid#aaaaaa;"><small> [[:Category:Developer documentation|Documents in the ''Developer documentation'' category]]</small></div> | ||
<div>[[Rodin Developer | <div>[[Rodin Developer Support]]</div> | ||
<div style="float:right;width:50%;border-left:1px solid#aaaaaa;"><small> </small></div> | <div style="float:right;width:50%;border-left:1px solid#aaaaaa;"><small> </small></div> | ||
