[isabelle-dev] Spurious problems with webserver http://isabelle.in.tum.de

[Lars Hupel]

> Did anybody have further discussions about that with the local 
> admins?

 Yes. Unfortunately, there doesn't seem to be a good (or rather, any) 
 explanation of that phenomenon. Various "workarounds" have been put into 
 place, apparently without long-term effect.

 I can forward you the email conversation with the admins if you wish.

 Lars