Re: [isabelle] Announcing I3P

Is the Windows version ready? I tried to run it on windows, but I was not able to
configure the Isabelle installation.


On 3/29/2010 5:52 PM, Makarius wrote:
On Tue, 16 Mar 2010, Holger Gast wrote:

Dear Isabelle users,

It is my pleasure to announce the first public release
of I3P, an Interactive Interface for the Isabelle Prover.
It is available from

I would like to encourage users to try it out and give some feedback, either on this mailing list or directly to Holger.


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