[isabelle-dev] Spurious problems with webserver http://isabelle.in.tum.de
hupel at in.tum.de
Mon Dec 9 14:36:04 CET 2013
> Did anybody have further discussions about that with the local
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