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.
> On 4 Oct 2016, at 12:05, Manuel Eberl <ebe...@in.tum.de> wrote:
> I've never used SourceTree, and it is, of course, very difficult to debug
> such things from afar.
> I could of course, with your permission, simply commit and push the entry
isabelle-dev mailing list