[isabelle-dev] Isabelle repository broken
eberlm at in.tum.de
Tue May 24 18:50:56 CEST 2016
Argh! You are correct. Today is /not/ my day. I'm on it.
On 24/05/16 18:42, Makarius wrote:
> On 24/05/16 18:34, Manuel Eberl wrote:
>> I'm confident that I'll have everyting up and running again soon.
> BTW, current Isabelle/8230358fab88 now looks like too much has been
> isabelle-dev mailing list
> isabelle-dev at in.tum.de
More information about the isabelle-dev