[isabelle-dev] Fisher–Yates in AFP

Lawrence Paulson lp15 at cam.ac.uk
Tue Oct 4 13:13:18 CEST 2016

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

More information about the isabelle-dev mailing list