Difference between revisions of "Template:Main Page/User Documentation"
From Event-B
Jump to navigationJump to searchimported>Mathieu |
imported>Mathieu m (Add Event-B Examples) |
||
| Line 13: | Line 13: | ||
<div style="clear:both;"></div> | <div style="clear:both;"></div> | ||
| − | [[FAQ]] | + | <div style="float:right;width:60%;border-left:1px solid#aaaaaa;"><small> </small></div>[[Event-B Examples|Example models with Event-B]] |
| + | |||
| + | <div style="clear:both;"></div> | ||
| + | <div style="float:right;width:60%;border-left:1px solid#aaaaaa;"><small> </small></div>[[FAQ]] | ||
<noinclude> | <noinclude> | ||
</div> | </div> | ||
[[Category:Main page templates|User Documentation]] | [[Category:Main page templates|User Documentation]] | ||
</noinclude> | </noinclude> | ||
