[isabelle-dev] Fisher–Yates in AFP

[Lawrence Paulson]

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

-------------- next part --------------
An HTML attachment was scrubbed...
URL: <https://mailman46.in.tum.de/pipermail/isabelle-dev/attachments/20161004/128e3b6e/attachment-0002.html>