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 _______________________________________________ isabelle-dev mailing list [email protected] https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev
