Difference between revisions of "Template:Main Page/Developer Documentation"
From Event-B
Jump to navigationJump to searchimported>Mathieu m (New page: <noinclude> == Displayed as follow on the Main Page == <div style="margin:0;width:50%;border:1px solid #AAAAAA;background:#FFFFFF"> </noinclude><!--- News to add here below : ==== ---> == ...) |
imported>Mathieu m |
||
| 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 : ==== ---> | ||
| − | |||
[[Rodin Developer Support]] |<small> [[:Category:Developer documentation|Documents in the ''Developer documentation'' category]]</small> | [[Rodin Developer Support]] |<small> [[:Category:Developer documentation|Documents in the ''Developer documentation'' category]]</small> | ||
