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
_______________________________________________
isabelle-dev mailing list
isabelle-...@in.tum.de
https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev