Re: [isabelle] Announcing Isabelle2009-2


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


Joachim Breitner
  e-Mail: mail at
  ICQ#: 74513189
  Jabber-ID: nomeata at

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

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