Re: [isabelle] Announcing Isabelle2009-2



Hi,

Am Mittwoch, den 23.06.2010, 10:48 +0200 schrieb Makarius:
> Isabelle2009-2 is now available.

darn, and I just finished my APF submission. Guess I’ll have to migrate
that first to 2009-2 :-)

I’m using i3p, but this does not accept 2009-2 yet, it seems (starting
the prover does nothing). Can anyone else confirm that? Will I need to
wait for another i3p release until I can work again, or is there an easy
fix?

Thanks,
Joachim 

-- 
Joachim Breitner
  e-Mail: mail at joachim-breitner.de
  Homepage: http://www.joachim-breitner.de
  ICQ#: 74513189
  Jabber-ID: nomeata at joachim-breitner.de

Attachment: signature.asc
Description: This is a digitally signed message part



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