Differences

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

--- resources [2007/07/31 18:59] – external edit 127.0.0.1
+++ resources [2014/12/30 03:15] (current) – jonathan
@@ Line 1: / Line 1: @@
 ====== Resources ======
-Use this page to list additional Resources that may be helpful to your students.
+====== Event-B/Rodin ======
-  * [[http://www.cse.yorku.ca|Department of CSE Home Page]]
+  * [[http://www.event-b.org|Main Event-B website]]
-  *   [[https://w2prod.sis.yorku.ca/Apps/WebObjects/cdm.woa/wa/curexam|York Exam Schedule]]
+  * [[http://wiki.event-b.org/index.php/Rodin_Platform_Releases|Rodin Download Site]]
+  * [[http://wiki.event-b.org/index.php/Event-B_Language|Event-B Language and Slides]]
+  * [[http://wiki.event-b.org/index.php/Rodin_Platform_3.1_Release_Notes|Rodin 3.1 Release notes]]
+====== Install Rodin ======
+Rodin is available on the Prism Workstations and the SEL Virtual Machine (which also included an install of Latex).
+. Download Rodin [[http://sourceforge.net/projects/rodin-b-sharp/files/Core_Rodin_Platform/3.1/| Rodin 3.1]] for your platform and install.
+. Install the Atelier B provers.Please proceed as follow: From the main menu bar, select Help > Install New Software.... The Install wizard opens.
+Uncheck the Contact all update sites during install to find required software check box.
+Click on the Work with dropdown list and select the Atelier B provers update site.
+Select Atelier B provers in the list (tick the left check boxes) and click Next
+After some time, the Install window opens. Just click Next, and accept the terms in the license agreement.
+Click Finish. The update manager downloads the Atelier B Provers feature.
+Finally, in the next window, click Yes to restart the platform.
+. Install ProB and AnimB
+. Install B2Latex. In the install new plugins it is found under: Rodin - http://rodin-b-sharp.sourceforge.net/updates
+====== Other Resources ======
+  * [[http://www.cse.yorku.ca|Department of CSE Home Page]]
+  *   [[https://w2prod.sis.yorku.ca/Apps/WebObjects/cdm.woa/wa/curexam|York Exam Schedule]]