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

Lars Hupel hupel at in.tum.de
Mon Dec 9 14:36:04 CET 2013

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


More information about the isabelle-dev mailing list