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