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

From Event-B
Jump to navigationJump to search
imported>Tommy
m
imported>Colin
Line 4: Line 4:
 
</noinclude>
 
</noinclude>
 
<div style="clear:both;"></div>
 
<div style="clear:both;"></div>
<div style="float:right;width:70%;border-left:1px solid#aaaaaa;"><small>[[Event-B Mathematical Language|Mathematical Language]] • [[Event-B Modelling Language|Modelling Language]] • [[:Category:Event-B|''Event-B'' category]]</small></div> [[Event-B Language]]  
+
<div style="float:right;width:70%;border-left:1px solid#aaaaaa;"><small>[[Event-B Mathematical Language|Mathematical Language]] • [[Event-B Modelling Language|Modelling Language]] • [[:Category:Event-B|''Event-B'' category]]</small></div> [[Event-B Languages]]  
  
 
<div style="clear:both;"></div>
 
<div style="clear:both;"></div>

Revision as of 14:22, 15 January 2019