[isabelle-dev] Branch in isabelle repository

Clemens Ballarin ballarin at in.tum.de
Thu Oct 1 19:55:37 CEST 2009

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  


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

More information about the isabelle-dev mailing list