This is my experience as well. Michael
> On 19 Dec 2013, at 8:23, "Gerwin Klein" <[email protected]> wrote: > > 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 ________________________________ The information in this e-mail may be confidential and subject to legal professional privilege and/or copyright. National ICT Australia Limited accepts no liability for any damage caused by this email or its attachments. _______________________________________________ isabelle-dev mailing list [email protected] https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev
