Rodin Tutorials: Difference between revisions

Latest revision as of 08:47, 27 October 2011

This page gives a brief summary of tutorial documents for Rodin and other Plug-ins.

The original and now outdated version is available here.

Statemachine Animation Tutorial shows how to use the Statemachine Animation plug-in on a sample UML-B model.

@@ Line 1: / Line 1: @@
-== Tutorial 1 (celebrity, doors, galois, closure) ==
+This page gives a brief summary of tutorial documents for Rodin and other Plug-ins.
-;[http://deploy-eprints.ecs.soton.ac.uk/10/ document and project archives]:  original and  somewhat outdated version
-;[[Index (Rodin Tutorial)|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)''
+== Rodin Handbook ==
+[http://handbook.event-b.org/current/html/tutorial.html Rodin Handbook (Tutorial)]
+<small>
+The original and now outdated version is available [http://deploy-eprints.ecs.soton.ac.uk/10/ here].
+</small>
 == Requirements Tutorial ==
@@ Line 7: / Line 13: @@
 ;[[Requirements Tutorial]]: Shows how the Requirements Plug-in is used
-[[Category:User Documentation]]
+[[Category:User documentation]]
 [[Category:Tutorial]]
+== Statemachine Animation Tutorial ==
+[[Statemachine Animation Tutorial]] shows how to use the Statemachine Animation plug-in on a sample UML-B model.