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 _______________________________________________ isabelle-dev mailing list [email protected] https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev
