Difference between revisions of "Template:Main Page/User Documentation"
From Event-B
Jump to navigationJump to searchimported>Mathieu m (New page: Event-B Language | <small>Mathematical Language • Modelling Language • ''Event-B'' category</...) |
imported>Mathieu m |
||
| Line 1: | Line 1: | ||
| − | [[Event-B Language]] | <small>[[Event-B Mathematical Language|Mathematical Language]] • [[Event-B Modelling Language|Modelling Language]] • [[:Category:Event-B|''Event-B'' category]]</small> | + | <noinclude> |
| + | == Displayed as follow on the Main Page == | ||
| + | <div style="margin:0;width:50%;border:1px solid #AAAAAA;background:#FFFFFF"> | ||
| + | </noinclude> | ||
| + | :[[Event-B Language]] | <small>[[Event-B Mathematical Language|Mathematical Language]] • [[Event-B Modelling Language|Modelling Language]] • [[:Category:Event-B|''Event-B'' category]]</small> | ||
| − | [[Rodin Platform|Rodin Platform User Support]] | <small>[[Rodin User Manual|User Manual]] • [[Rodin Tutorials|Tutorial]] • [[:Category:User documentation| | + | :[[Rodin Platform|Rodin Platform User Support]] | <small>[[Rodin User Manual|User Manual]] • [[Rodin Tutorials|Tutorial]] • [[:Category:User documentation|''User documentation'' category]]</small> |
| − | [[Rodin Plug-ins|Rodin Plug-in User Support]] | <small>[[UML-B]] • [[B2Latex]] • [[ProB]] • [[AnimB]] • [[Requirements Tutorial|Requirements]] • [[:Category:Plugin|''Plugin'' category]] </small> | + | :[[Rodin Plug-ins|Rodin Plug-in User Support]] | <small>[[UML-B]] • [[B2Latex]] • [[ProB]] • [[AnimB]] • [[Requirements Tutorial|Requirements]] • [[:Category:Plugin|''Plugin'' category]] </small> |
| − | [[FAQ]] | + | :[[FAQ]] |
| + | <noinclude> | ||
| + | </div> | ||
| + | </noinclude> | ||
