[isabelle-dev] Hg sourcetree

[Michael Norrish]

This is my experience as well.

Michael

> On 19 Dec 2013, at 8:23, "Gerwin Klein" <gerwin.klein at nicta.com.au> 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" <makarius at sketis.net> 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
>> isabelle-dev at in.tum.de
>> https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev
> _______________________________________________
> isabelle-dev mailing list
> isabelle-dev at in.tum.de
> 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.