Re: [isabelle] Isabelle2012-RC1 available for testing



Am 04.05.2012 um 18:01 schrieb Makarius:

> There is a timeout on the "Isabelle" splash, so it might disappear before the rest is coming up.

Indeed, if I give it enough time, that's what happens.

Jasmin






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