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