[isabelle-dev] Fisher–Yates in AFP

[Lawrence Paulson]

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…

Larry

> 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