[isabelle-dev] Branch in isabelle repository

[Clemens Ballarin]

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