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

Cheers
Lars
_______________________________________________
isabelle-dev mailing list
isabelle-...@in.tum.de
https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev

Reply via email to