[isabelle-dev] Hg sourcetree
makarius at sketis.net
Wed Dec 18 20:25:37 CET 2013
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?
More information about the isabelle-dev