Differences

This shows you the differences between two versions of the page.

--- resources [2014/12/29 18:49] – jonathan
+++ resources [2014/12/30 03:15] (current) – jonathan
@@ Line 14: / Line 14: @@
 . Download Rodin [[http://sourceforge.net/projects/rodin-b-sharp/files/Core_Rodin_Platform/3.1/| Rodin 3.1]] for your platform and install.
-. 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:
+. 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.
 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.
 Finally, in the next window, click Yes to restart the platform.
+. Install ProB and AnimB
+. Install B2Latex. In the install new plugins it is found under: Rodin - http://rodin-b-sharp.sourceforge.net/updates
 ====== Other Resources ======