[isabelle-dev] Isabelle repository broken

[Manuel Eberl]

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
> committed.
>
>
> 	Makarius
>
> _______________________________________________
> isabelle-dev mailing list
> isabelle-dev at in.tum.de
> https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev