[isabelle-dev] Is hgbroy down?
Lars Hupel
hupel at in.tum.de
Mon Jul 2 13:44:35 CEST 2018
Previous message (by thread):
[isabelle-dev] Is hgbroy down?
Next message (by thread):
[isabelle-dev] Isabelle build only works in certain directories
Messages sorted by:
[ date ]
[ thread ]
[ subject ]
[ author ]
>
Apparently so. I'll let our administrators know.
Should be up again.
Previous message (by thread):
[isabelle-dev] Is hgbroy down?
Next message (by thread):
[isabelle-dev] Isabelle build only works in certain directories
Messages sorted by:
[ date ]
[ thread ]
[ subject ]
[ author ]
More information about the isabelle-dev mailing list