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
resources [2014/12/29 19:10] 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. In the install new plugins it is found under: Rodin - http://rodin-b-sharp.sourceforge.net/updates 4. Install B2Latex. In the install new plugins it is found under: Rodin - http://rodin-b-sharp.sourceforge.net/updates
resources.1419880241.txt.gz · Last modified: 2014/12/29 19:10 by jonathan

Donate Powered by PHP Valid HTML5 Valid CSS Driven by DokuWiki