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 21: | 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.1419878982.txt.gz · Last modified: 2014/12/29 18:49 by jonathan