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:49] – jonathan | resources [2014/12/30 03:15] (current) – jonathan | ||
|---|---|---|---|
| Line 14: | Line 14: | ||
| 1. Download Rodin [[http:// | 1. Download Rodin [[http:// | ||
| - | 2. Install the Atelier B provers. 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: | + | 2. Install the Atelier B provers.Please proceed as follow: From the main menu bar, select Help > Install New Software.... The Install wizard opens. |
| - | + | ||
| - | 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. | 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 23: | 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.1419878960.txt.gz · Last modified: 2014/12/29 18:49 by jonathan