Differences

This shows you the differences between two versions of the page.

--- resources [2011/01/04 22:55] – jonathan
+++ resources [2011/03/23 17:06] (current) – jonathan
@@ Line 10: / Line 10: @@
   * [[http://wiki.event-b.org/index.php/Event-B_Language|Event-B slides]] (this course uses a modified version of these slides)
   * [[http://wiki.event-b.org/index.php/Rodin_Provers|How to use the provers]]
+  * [[http://wiki.event-b.org/index.php/Rodin_Proving_Perspective|Rodin Prover Perspective]]
+  * [[http://wiki.event-b.org/images/SM%26D-KAR.pdf|Textbook by Ken Robinson]]
+  * [[http://deploy-eprints.ecs.soton.ac.uk/264/|Slides on Event-B used for Deploy Associate Training (Michael Butler)]]
+  * [[http://wiki.event-b.org/index.php/Inference_Rules|Inference Rules]]
 ====== Rodin Version 2.0.1 ======
 Rodin/Eclipse works on Win/Mac/Linux. Go to the [[http://www.event-b.org/platform.html|Rodin install site]]. You should install:
-  * Core Rodin
+  * Core Rodin (follow the instructions)
+  * Atelier B provers
   * AnimB
   * Latex2B (Note that you also need a Latex app (e.g. Miktex 2.9 on Windows)
-You can obtain a Win32 version from SVN → Rodin
+You can obtain a ready to run Rodin/Win32 version from SVN → Rodin