[isabelle-dev] Branch in isabelle repository

Clemens Ballarin ballarin at in.tum.de
Thu Oct 1 19:49:38 CEST 2009

Hi all,

I wonder whether the second branch in the repository is intentional.  See


Unfortunately, it means that my revised locales code is now hidden  
from tip :-(


More information about the isabelle-dev mailing list