[isabelle-dev] Odd branches on AFP

Makarius makarius at sketis.net
Wed Mar 30 00:04:49 CEST 2016


Using "hg branches" on afp-devel produces this result:

default                     6476:5000c34002cf
ltl                         6474:53421953ad96


What is the purpose of branches in Mercurial repositories? I've never 
understood that feature.


 	Makarius



More information about the isabelle-dev mailing list