Re: [isabelle-dev] Is hgbroy down?

[Lars Hupel]

> Apparently so. I'll let our administrators know.

Should be up again.
_______________________________________________
isabelle-dev mailing list
isabelle-...@in.tum.de
https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev