Difference between revisions of "Template:Main Page/Developer Documentation"

From Event-B
Jump to navigationJump to search
imported>Tommy
m
imported>Colin
Line 12: Line 12:
 
<div style="float:right;width:50%;border-left:1px solid#aaaaaa;"><small>&nbsp;<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>&nbsp;<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>

Revision as of 08:56, 7 July 2017