[isabelle-dev] isabelle components -a does nothing

Makarius 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
> 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.


More information about the isabelle-dev mailing list