Difference between revisions of "Rodin User Manual"

Revision as of 08:04, 27 October 2011

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

New material not yet included in the manual:

@@ Line 1: / Line 1: @@
-{| class="wikitable" style="font-style:italic; text-align: center; font-size:120%; border: 3px dashed red;"
+== User manual ==
-|-
-! scope="col" | Do not edit!  This content has been migrated to Subversion.
-|-
-|([http://handbook.event-b.org Nightly Handbook Build])
-|}
-== User manual ==
+[http://handbook.event-b.org/ User Manual for Rodin]
-;[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: