[isabelle-dev] isabelle components -a does nothing
makarius at sketis.net
Tue Sep 4 18:09:45 CEST 2012
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
> 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.
More information about the isabelle-dev