Difference between revisions of "Template:Main Page/Developer Documentation"
From Event-B
Jump to navigationJump to searchimported>Tommy m |
imported>Colin |
||
Line 12: | Line 12: | ||
<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 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>[[Past Developments|Past]] and [[Current Developments]]</div> | ||
+ | <div> [[EMF framework for Event-B]]</div> | ||
<noinclude> | <noinclude> |