On Tue, 4 Sep 2012, Jasmin Blanchette wrote:
Yes, I found out so much as soon as the web site was up. I was following
the instructions from
https://isabelle.in.tum.de/community/Working_with_the_repository_version_of_Isabelle
one step at a time.
You have been luck that Tjark updated it again recently.
The funny thing about the community wiki is that the mainly updated page
explains how to evade the normal user community domain, and attach oneself
to the Isabelle repository where the ongoing construction work is
happening, with noise, dirt, dust etc.
Makarius
_______________________________________________
isabelle-dev mailing list
[email protected]
https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev
