[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

  http://www-pu.informatik.uni-tuebingen.de/i3p/

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.

Enjoy,

  Holger





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