resources
Differences
This shows you the differences between two versions of the page.
Both sides previous revisionPrevious revisionNext revision | Previous revision | ||
resources [2014/12/29 18:07] – jonathan | resources [2014/12/30 03:15] (current) – jonathan | ||
---|---|---|---|
Line 4: | Line 4: | ||
* [[http:// | * [[http:// | ||
+ | * [[http:// | ||
+ | * [[http:// | ||
+ | * [[http:// | ||
+ | ====== Install Rodin ====== | ||
- | Use this page to list additional Resources that may be helpful to your students. | + | Rodin is available on the Prism Workstations and the SEL Virtual Machine (which also included an install of Latex). |
- | * [[http://www.cse.yorku.ca|Department of CSE Home Page]] | + | 1. Download Rodin [[http://sourceforge.net/projects/rodin-b-sharp/files/Core_Rodin_Platform/3.1/| Rodin 3.1]] for your platform and install. |
- | * | + | |
+ | 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.1419876471.txt.gz · Last modified: 2014/12/29 18:07 by jonathan