On Thu, 29 Nov 2012, Lars Noschinski wrote:
I now wanted to suggest isabelle.in.tum.de as an obvious choice for a
gateway host, but it is not reachable via SSH from the outside =)
In ancient times isabelle.in.tum.de was indeed just an alias, say for
sunbroy60. So one had everything physically on one fairly robust Sun
server. Times have changed, and even the server-class machines are
failing routinely now (lxbroy10).
Makarius
_______________________________________________
isabelle-dev mailing list
isabelle-...@in.tum.de
https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev
