[isabelle-dev] Branch in isabelle repository

[Clemens Ballarin]

Hi all,

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

   http://isabelle.in.tum.de/repos/isabelle/graph/a0f38d8d633a

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

Clemens