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

Re: [isabelle-dev] Is hgbroy down?

[Lars Hupel]

> ~/isabelle/Repos/src/HOL: hg fetch
> remote: ssh: connect to host hgbroy.informatik.tu-muenchen.de port 22: 
> Operation timed out
> abort: no suitable response from remote hg!

Apparently so. I'll let our administrators know.
___
isabelle-dev mailing list
isabelle-...@in.tum.de
https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev

[isabelle-dev] Is hgbroy down?

[Lawrence Paulson]

~/isabelle/Repos/src/HOL: hg fetch
remote: ssh: connect to host hgbroy.informatik.tu-muenchen.de port 22: 
Operation timed out
abort: no suitable response from remote hg!

Larry

___
isabelle-dev mailing list
isabelle-...@in.tum.de
https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev