Re: [Rodin-b-sharp-user] Rodin 2.0.1 released

[Aryldo G R. Jr <ag...@ae...>]

Hello Nicolas,

Is there a way to update to this new version? Or do I have to download the
new one and reinstall the plugins.

Cheers

Dinho


Aryldo G Russo Jr
Gerente de Pesquisa e Desenvolvimento
Grupo AeS
ASQ/CRE - ASQ/CSSBB









On 16/11/10 07:51, "Nicolas Beauger" <nic...@sy...> wrote:

>Dear all,
>
>Rodin 2.0.1 is now available at
>
>http://sourceforge.net/projects/rodin-b-sharp/files/Core_%20Rodin%20Platfo
>rm/2.0.1/
>
>It fixes several bugs and solves integration issues related to
>mathematical extensions (theory plug-in).
>A list of changes is published at
>
>http://wiki.event-b.org/index.php/Rodin_Platform_2.0.1_Release_Notes
>
>It is recommended to work with this new release, especially for
>modelling using theories.
>
>
>Best regards,
>
>Nicolas
>
>-- 
>------------------------------------------------------------------------
>Nicolas BEAUGER                           Tél. : (+33)(0)4 42 90 65 66
>Ingénieur Logiciel
>
>SYSTEREL
>------------------------------------------------------------------------
>Standard / Fax : (+33)(0)4 42 90 41 20 / 29     site :www.systerel.fr
>------------------------------------------------------------------------
>
>
>--------------------------------------------------------------------------
>----
>Beautiful is writing same markup. Internet Explorer 9 supports
>standards for HTML5, CSS3, SVG 1.1,  ECMAScript5, and DOM L2 & L3.
>Spend less time writing and  rewriting code and more time creating great
>experiences on the web. Be a part of the beta today
>http://p.sf.net/sfu/msIE9-sfdev2dev
>_______________________________________________
>Rodin-b-sharp-user mailing list
>Rod...@li...
>https://lists.sourceforge.net/lists/listinfo/rodin-b-sharp-user