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