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