[isabelle-dev] getting development version to work

[Aaron Gray]

Lars,

On 11 December 2012 08:49, Lars Noschinski <noschinl at in.tum.de> 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
> isabelle-dev at in.tum.de
> https://mailmanbroy.**informatik.tu-muenchen.de/**
> mailman/listinfo/isabelle-dev<https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev>
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <https://mailman46.in.tum.de/pipermail/isabelle-dev/attachments/20121211/1a2043e4/attachment-0002.html>