[isabelle-dev] Fisher–Yates in AFP

Lawrence Paulson lp15 at cam.ac.uk
Tue Oct 4 13:42:11 CEST 2016

Thanks and I have finally managed to push the entry. Unfortunately a problem like this seems to happen 30% of the time with new AFP entries…


> On 4 Oct 2016, at 12:23, Lars Hupel <hupel at in.tum.de> wrote:
>> 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