[isabelle-dev] Mercurial clients for Mac

[Lawrence Paulson]

MacHg is pretty good, and now that I've learnt never to use FileMerge for merging (because it crashes, meaning you lose your work every time there's a conflict), I finally find Mercurial tolerable.

However, I'm curious about a rival client, SourceTree. Has anybody tried it?

http://itunes.apple.com/us/app/sourcetree-git-hg/id411678673?mt=12

Larry