> 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
