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.

Viorel


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

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

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


    Makarius








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