Lars, On 11 December 2012 08:49, Lars Noschinski <[email protected]> wrote:
> 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? > Its missing all the 'contrib' directory entries as compared to Ubuntu's. Aaron > > -- Lars > ______________________________**_________________ > isabelle-dev mailing list > [email protected] > https://mailmanbroy.**informatik.tu-muenchen.de/** > mailman/listinfo/isabelle-dev<https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev> >
_______________________________________________ isabelle-dev mailing list [email protected] https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev
