On Thu, 29 Nov 2012, Lars Noschinski wrote:
Since some time they also provide hosting of mercurial repositories.
This is what I meant by "home-made".
Makarius
_______________________________________________
isabelle-dev mailing list
isabelle-...@in.tum.de
https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev
