Difference between revisions of "Template:Main Page/Developer Documentation"
From Event-B
Jump to navigationJump to searchimported>Mathieu m |
imported>Colin |
||
(11 intermediate revisions by 4 users not shown) | |||
Line 3: | Line 3: | ||
<div style="margin:0;width:50%;border:1px solid #AAAAAA;background:#FFFFFF"> | <div style="margin:0;width:50%;border:1px solid #AAAAAA;background:#FFFFFF"> | ||
</noinclude><!--- News to add here below : ==== ---> | </noinclude><!--- News to add here below : ==== ---> | ||
− | |||
− | [[Current Developments]] | + | <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>[[Rodin Developer Support]]</div> | ||
+ | |||
+ | <div style="float:right;width:50%;border-left:1px solid#aaaaaa;"><small> </small></div> | ||
+ | <div>[[Developer FAQ]]</div> | ||
+ | <div style="float:right;width:50%;border-left:1px solid#aaaaaa;"><small> <br/>[[:Category:Work in progress| Documents in the ''Work in progress'' category]]</small></div> | ||
+ | <div>[[Past Developments|Past]] and [[Current Developments]]</div> | ||
+ | <div> [[EMF framework for Event-B]]</div> | ||
+ | <div> [[Rodin_File_Types|Register of file extensions]]</div> | ||
− | |||
<noinclude> | <noinclude> | ||
</div> | </div> | ||
+ | [[Category:Main page templates|Developer Documentation]] | ||
</noinclude> | </noinclude> |