[isabelle-dev] Reasons mira crashes

Makarius makarius at sketis.net
Thu Nov 29 11:58:02 CET 2012

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).


More information about the isabelle-dev mailing list