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:47] – jonathan | resources [2014/12/30 03:15] (current) – jonathan | ||
|---|---|---|---|
| Line 10: | Line 10: | ||
| ====== Install Rodin ====== | ====== Install Rodin ====== | ||
| - | To improve your proof experience, please install the third-party provers from Atelier B. This is only a few mouse-clicks away. Please proceed as follow: | + | Rodin is available on the Prism Workstations and the SEL Virtual Machine (which also included an install of Latex). |
| - | From the main menu bar, select Help > Install New Software.... The Install wizard opens. | + | 1. Download Rodin [[http:// |
| + | |||
| + | 2. Install the Atelier B provers.Please proceed as follow: | ||
| Uncheck the Contact all update sites during install to find required software check box. | 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. | Click on the Work with dropdown list and select the Atelier B provers update site. | ||
| Line 19: | Line 21: | ||
| Click Finish. The update manager downloads the Atelier B Provers feature. | Click Finish. The update manager downloads the Atelier B Provers feature. | ||
| Finally, in the next window, click Yes to restart the platform. | 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 ====== | ====== Other Resources ====== | ||
resources.1419878826.txt.gz · Last modified: 2014/12/29 18:47 by jonathan