> 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 _______________________________________________ isabelle-dev mailing list isabelle-...@in.tum.de https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev