Re: [Rodin-b-sharp-user] Rodin 2.1 is released

[Ken R. <ke...@cs...>]

Dear Nicolas and everyone on the Rodin team,

Thank you and congratulations.

This release of Rodin feels very smooth.  I've really enjoyed bringing my projects up-to-date today.

And the prover performance does indeed seem to be better.

Cheers,

Ken

On 09/02/2011, at 05:20 AM, Nicolas Beauger wrote:

> Dear all,
> 
> Rodin 2.1 is now available at
> 
> http://sourceforge.net/projects/rodin-b-sharp/files/Core_%20Rodin%20Platform/2.1/
> 
> It comes with a number of improvements, most notably about auto-prover 
> and general performances.
> 
> Release notes can be found at
> 
> http://wiki.event-b.org/index.php/Rodin_Platform_2.1_Release_Notes
> 
> We hope you'll enjoy this new release.
> 
> 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
> ------------------------------------------------------------------------
> 
> 
> ------------------------------------------------------------------------------
> The ultimate all-in-one performance toolkit: Intel(R) Parallel Studio XE:
> Pinpoint memory and threading errors before they happen.
> Find and fix more than 250 security defects in the development cycle.
> Locate bottlenecks in serial and parallel code that limit performance.
> http://p.sf.net/sfu/intel-dev2devfeb
> _______________________________________________
> Rodin-b-sharp-user mailing list
> Rod...@li...
> https://lists.sourceforge.net/lists/listinfo/rodin-b-sharp-user