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 :
> Hi all,
>
> I wonder whether the second branch in the repository is intentional. See
>
> http://isabelle.in.
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