Difference between revisions of "Rodin User Manual"

From Event-B
Jump to navigationJump to search
imported>Mathieu
m (Robot: Changing Category:User Documentation)
imported>Ladenberger
 
(3 intermediate revisions by the same user not shown)
Line 1: Line 1:
== User manual ==
+
[http://handbook.event-b.org/ Rodin Handbook]
;[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)''
+
<small>
 +
The original and now outdated version is available [http://deploy-eprints.ecs.soton.ac.uk/11/1/manual-2.3.pdf in PDF format here].
 +
</small>
  
 
New material not yet included in the manual:
 
New material not yet included in the manual:

Latest revision as of 08:48, 27 October 2011

Rodin Handbook

The original and now outdated version is available in PDF format here.

New material not yet included in the manual: