[isabelle-dev] Isabelle repository broken

Makarius makarius at sketis.net
Tue May 24 18:42:25 CEST 2016


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




More information about the isabelle-dev mailing list