[isabelle-dev] Mercurial clients for Mac
lp15 at cam.ac.uk
Mon Jun 18 11:37:19 CEST 2012
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?
More information about the isabelle-dev