> If it’s no problem, maybe the submission system could check for such
> directories and delete them?
I'm adding this to the list of additional checks (some are already in
the works). I expect that the submission system will go through a
maintenance period in the near future where this will get deployed.
isabelle-dev mailing list