[isabelle-dev] isabelle components -a does nothing

[Makarius]

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