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 _______________________________________________ isabelle-dev mailing list [email protected] https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev
