[isabelle] Update on I3P

Dear Isabelle users,

I'm happy to announce release 1.0.2 of I3P,
the Interactive Interface for the Isabelle Prover.

The new version is available from


It supports both the Isabelle2009-2 release
and Windows/Cygwin installations.

Those who are already using I3P can just employ
the Tools/Plugins dialog to download the updated modules.

I'd like to thank all users who have given me
feedback on the first version. I hope that the
changes made based on the suggestions about usability
are as expected.



This archive was generated by a fusion of Pipermail (Mailman edition) and MHonArc.