[Rodin announce] Isabelle for Rodin, Version 0.6.0

[Matthias S. <Mat...@in...>]

I am proud to announce Version 0.6.0 of "Isabelle for Rodin". The 
plug-in allows users to prove proof obligations by using Isabelle. Users 
who are familiar with Isabelle may export the Event-B proof obligations 
to Isabelle theories and inspect them by using Isabelle.

Further information can be found at
http://wiki.event-b.org/index.php/Isabelle_for_Rodin

Best,

Matthias