> 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
> ~/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 l
~/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.inf