[isabelle-dev] Odd branches on AFP

Makarius 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 mailing list