Template:Main Page/User Documentation

From Event-B

Revision as of 13:51, 12 December 2008 by imported>Mathieu (Some display tweak. Allow to add some small subjects)

(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)

Jump to navigation Jump to search

Displayed as follow on the Main Page

Mathematical Language • Modelling Language • Event-B category

Event-B Language

User Manual • Tutorial • User documentation category

Rodin Platform User Support

UML-B • B2Latex • ProB • AnimB • Requirements • Plugin category

Rodin Plug-in User Support

Retrieved from ‘https://wiki.event-b.org/index.php?title=Template:Main_Page/User_Documentation&oldid=13084’

Main page templates

Navigation menu