View source

From Event-B

You do not have permission to do that, for the following reason:

The action you have requested is limited to users in the group user.

You can view and copy the source of this page:

== User manual ==
;[http://deploy-eprints.ecs.soton.ac.uk/11/1/manual-2.3.pdf in PDF format]: original and  somewhat outdated version
;[[Index (Rodin User Manual)|in wiki format]]: translated from the original version, and being updated  ''(some formulas are not yet rendered well, but the problem is being worked out)''

New material not yet included in the manual:

* [[Installing external plug-ins manually]]

[[Category:User documentation]]
[[Category:Rodin Platform]]

Return to Rodin User Manual.

Retrieved from "http://wiki.event-b.org/index.php/Rodin_User_Manual"

Search

Toolbox

What links here
Related changes
Upload file
Special pages

View source

From Event-B

Views

Personal tools

Navigation

contribute

Search

Toolbox