[isabelle-dev] Mercurial clients for Mac

Lawrence Paulson 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 mailing list