I have it installed and it's nice for browsing through history, but for normal daily operation I still find myself using primarily the command line, mostly because it's quick and I'm used to it.
Cheers, Gerwin > On 19 Dec 2013, at 6:26, "Makarius" <[email protected]> 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: >>> >>> 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 > [email protected] > https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev _______________________________________________ isabelle-dev mailing list [email protected] https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev
