Help:Contents
From Event-B
Help
To edit a page, click on 'edit'.
To add a new subpage labelled "Pagename", add a link to it in the parent page using [[Pagename]], then view the parent page and click on the link for the new subpage to edit it.
Upload an image file using the 'Upload file' link in the toolbox.
Consult the User's Guide for information on using the wiki software.