Rodin Platform 0.8.0 released

Latest platform available. User manual and tutorials have been updated accordingly.
Have a look at http://rodin-b-sharp.sourceforge.net for resources.
Pay attention that B4Free provers 0.8.1 are required.