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.


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