Just Launched: You can now import projects and releases from Google Code onto SourceForge
We are excited to release new functionality to enable a 1-click import from Google Code onto the Allura platform on SourceForge. You can import tickets, wikis, source, releases, and more with a few simple steps. Read More
Dear Rodin Users,
I am proud to announce Version 0.3.0 of my "Export to Isabelle" plug-in.
It allows you to export sequents to Isabelle/HOL for further analysis. I
use this plug-in to build new automated tactics for Rodin based on Isabelle.
More detailed informations can be found on