[isabelle-dev] Hg sourcetree

[Makarius]

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:
>>
>>  https://www.atlassian.com/software/sourcetree/overview

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?


 	Makarius