User Tools

Site Tools


resources

Differences

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

Link to this comparison view

Both sides previous revisionPrevious revision
Next revision
Previous revision
resources [2014/12/29 19:05] jonathanresources [2014/12/30 03:15] (current) jonathan
Line 22: Line 22:
 Finally, in the next window, click Yes to restart the platform. Finally, in the next window, click Yes to restart the platform.
  
-3. Install AnimB+3. Install ProB and AnimB
  
-4. Install B2Latex+4. Install B2Latex. In the install new plugins it is found under: Rodin - http://rodin-b-sharp.sourceforge.net/updates
  
 ====== Other Resources ====== ====== Other Resources ======
resources.1419879912.txt.gz · Last modified: 2014/12/29 19:05 by jonathan

Donate Powered by PHP Valid HTML5 Valid CSS Driven by DokuWiki