[isabelle-dev] Fisher–Yates in AFP

Lars Hupel hupel at in.tum.de
Tue Oct 4 13:16:02 CEST 2016

> 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.


More information about the isabelle-dev mailing list