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 > > 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 mailing list > Isabelle-dev at mailbroy.informatik.tu-muenchen.de > https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev
