[Rodin-b-sharp-user] B2Latex plug-in 0.8 release

[Guillaume V. <Gui...@ir...>]

Dear Rodin users,

I am pleased to announce the release of version 0.8 of the B2Latex plug-in.
This version is compatible with Rodin 3.8 and 3.9.

It is available in the Rodin Plug-ins update site. You can update through Help > Check for Updates.

The following changes have been implemented in this version:
- a compatibility issue with Rodin 3.9 has been fixed
- it is now possible to select several elements and generate LaTeX documents for them at once

The work on this release has been supported by the French ANR project Event-B Rodin Plus (EBRP, ANR-19-CE25-0010).

Best regards,
Guillaume Verdier