Template:Main Page/Developer Documentation: Difference between revisions
From Event-B
Jump to navigationJump to search
imported>Mathieu |
imported>Jrloria No edit summary |
||
| 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 : ==== ---> | ||
<div style="clear:both;"></div> | |||
<div style="float:right;width:60%;border-left:1px solid#aaaaaa;"><small> </small></div>[[Developer FAQ]] | |||
<div style="clear:both;"></div> | <div style="clear:both;"></div> | ||
| Line 10: | Line 13: | ||
<div style="float:right;width:60%;border-left:1px solid#aaaaaa;"><small> <br/>[[:Category:Work in progress| Documents in the ''Work in progress'' category]]</small></div>[[Past Developments|Past]] and [[Current Developments]] | <div style="float:right;width:60%;border-left:1px solid#aaaaaa;"><small> <br/>[[:Category:Work in progress| Documents in the ''Work in progress'' category]]</small></div>[[Past Developments|Past]] and [[Current Developments]] | ||
<noinclude> | <noinclude> | ||
</div> | </div> | ||
[[Category:Main page templates|Developer Documentation]] | [[Category:Main page templates|Developer Documentation]] | ||
</noinclude> | </noinclude> | ||
