resources
Differences
This shows you the differences between two versions of the page.
| Next revision | Previous revision | ||
| 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 ====== | ====== Resources ====== | ||
| - | Use this page to list additional Resources that may be helpful to your students. | + | ====== Event-B/ |
| - | * [[http:// | + | * [[http:// |
| - | * | + | * [[http:// |
| + | * [[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). | ||
| + | 1. Download Rodin [[http:// | ||
| + | 2. 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. | ||
| + | |||
| + | 3. Install ProB and AnimB | ||
| + | |||
| + | 4. Install B2Latex. In the install new plugins it is found under: Rodin - http:// | ||
| + | |||
| + | ====== Other Resources ====== | ||
| + | |||
| + | * [[http:// | ||
| + | * | ||
resources.1185908369.txt.gz · Last modified: 2014/12/29 18:07 (external edit)