[isabelle-dev] Hg sourcetree
lp15 at cam.ac.uk
Wed Dec 18 21:57:06 CET 2013
I’ve had a quick look, and it seems impressive. Better than MacHg, which also appears no longer to be developed.
On 18 Dec 2013, at 19:25, Makarius <makarius at sketis.net> wrote:
> Since I am presently on travel and only briefly looking through pending mails, here is a "publicized" version of an ongoing internal discussion:
>>> on Mac OS X, you may also try this recent high-end application for both Git and Mercurial:
> This was highly recommended to me from some people at Edinburgh last spring, but I did not find time yet to try it out.
> It is particularly relevant to full-time Mac OS X users.
> Anyone wants to report on experience with this high-end Mercurial client?
> isabelle-dev mailing list
> isabelle-dev at in.tum.de
More information about the isabelle-dev