[isabelle-dev] Fisher–Yates in AFP

[Lars Hupel]

> It isn’t only about SourceTree. As I mentioned, manually adding Fisher_Yates had no effect, and even now "hg diff” shows nothing, even though Fisher_Yates should appear as “added” or untracked (given that it’s on my machine and nowhere else). I’ve also checked every .hgignore file.
> 
> Possibly my copy of the AFP has got corrupted somehow.

I just checked the submission Manuel uploaded to the submission system
and there seems to be an extra ".hg" folder in there. So possibly
Mercurial ignores that directory. It might get fixed by "rm -rf"ing that
extra folder.

Cheers
Lars