[isabelle-dev] getting development version to work

Lars Noschinski noschinl at in.tum.de
Tue Dec 11 09:49:02 CET 2012

On 10.12.2012 19:54, Aaron Gray wrote:
> I cannot get the 'isabelle components -a' to work on Fedora 17, it just
> returns doing nothing at all with no message. I will be looking into
> this when I get some more time, hints on how to debug this would be well
> appreciated.

Did you read README_REPOSITORY and added the init_components lines given 
there to your ~/.isabelle/etc/settings files? What does 'isabelle 
components -l' say?

   -- Lars

More information about the isabelle-dev mailing list