[isabelle-dev] Fisher–Yates in AFP

Lars Hupel hupel at in.tum.de
Tue Oct 4 13:23:46 CEST 2016


> 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



More information about the isabelle-dev mailing list