Rodin User Manual: Difference between revisions

Latest revision as of 08:48, 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;"
+[http://handbook.event-b.org/ Rodin Handbook]
-|-
-! scope="col" | Do not edit!  This content has been migrated to Subversion.
-|-
-|([http://handbook.event-b.org Nightly Handbook Build])
-|}
-== User manual ==
+<small>
-;[http://deploy-eprints.ecs.soton.ac.uk/11/1/manual-2.3.pdf in PDF format]: original and  somewhat outdated version
+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].
-;[[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>
 New material not yet included in the manual: