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

Reply via email to