[isabelle-dev] Branch in isabelle repository

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

[isabelle-dev] Branch in isabelle repository

Actually, having a closer look at the actual graph, this is a false alarm. The the visualisation on that web page is misleading if not wrong. Clemens Quoting Clemens Ballarin ballarin at in.tum.de: Hi all, I wonder whether the second branch in the repository is intentional. See