[isabelle-dev] getting development version to work
aaronngray.lists at gmail.com
Tue Dec 11 17:57:18 CET 2012
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
> 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.
> -- Lars
> isabelle-dev mailing list
> isabelle-dev at in.tum.de
-------------- next part --------------
An HTML attachment was scrubbed...
More information about the isabelle-dev