Re: [isabelle-dev] Fisher–Yates in AFP

[Manuel Eberl]

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