[isabelle-dev] Odd branches on AFP
makarius at sketis.net
Wed Mar 30 11:50:03 CEST 2016
On Wed, 30 Mar 2016, Salomon Sickert wrote:
> Apparently SourceTree pushed all my local branches instead of the
> selected commits.
I've heard of SourceTree, but have not tried it yet. Is it worth spending
time on it?
>From a distance, I would expect that local development is done with
Mercurial queues, not branches. For me the question remains open, if
Mercurial branches have any purpose at all. Nobody could explain this to
More information about the isabelle-dev