Difference between revisions of "Template:Main Page/User Documentation"
From Event-B
Jump to navigationJump to searchimported>Im06r |
imported>Jastram (Adding Handbook link) |
||
Line 7: | Line 7: | ||
<div style="clear:both;"></div> | <div style="clear:both;"></div> | ||
− | <div style="float:right;width:60%;border-left:1px solid#aaaaaa;"><small>[[Rodin User Manual|User Manual]] • [[Rodin Tutorials|Tutorial]] • [[:Category:User documentation|''User documentation'' category]]</small></div>[[Rodin Platform|Rodin Platform User Support]] | + | <div style="float:right;width:60%;border-left:1px solid#aaaaaa;"><small>[[Rodin User Manual|User Manual]] • [[Rodin Tutorials|Tutorial]]• [[User Documentation Overhaul|New Handbook Project]] • [[:Category:User documentation|''User documentation'' category]]</small></div>[[Rodin Platform|Rodin Platform User Support]] |
<div style="clear:both;"></div> | <div style="clear:both;"></div> |