Lars,<div><br></div><div>I did the ~/.isabelle/etc/settings entry beforehand. The 'contrib' entries are just missing, they are not listed under a 'Missing Components' category.</div><div><br></div><div>Aaron</div>

<div><br></div><div><br><div class="gmail_quote">On 12 December 2012 09:50, Lars Noschinski <span dir="ltr"><<a href="mailto:noschinl@in.tum.de" target="_blank">noschinl@in.tum.de</a>></span> wrote:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">

<div class="im">On 11.12.2012 17:57, Aaron Gray wrote:<br>
</div><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><div class="im">
Lars,<br>
<br>
On 11 December 2012 08:49, Lars Noschinski <<a href="mailto:noschinl@in.tum.de" target="_blank">noschinl@in.tum.de</a><br></div><div class="im">
<mailto:<a href="mailto:noschinl@in.tum.de" target="_blank">noschinl@in.tum.de</a>>> wrote:<br>
<br>
    On 10.12.2012 19:54, Aaron Gray wrote:<br>
<br>
        I cannot get the 'isabelle components -a' to work on Fedora 17,<br>
        it just<br>
        returns doing nothing at all with no message. I will be looking into<br>
        this when I get some more time, hints on how to debug this would<br>
        be well<br>
        appreciated.<br>
<br>
<br>
    Did you read README_REPOSITORY and added the init_components lines<br>
    given there to your ~/.isabelle/etc/settings files? What does<br>
    'isabelle components -l' say?<br>
<br>
<br>
Its missing all the 'contrib' directory entries as compared to Ubuntu's.<br>
</div></blockquote>
<br>
Are those entries missing entirely or are they in the 'Missing components' category? The former one definitely suggests that you did not add the init_components lines to your settings file (are you sure its in the right location?). If its the latter and 'isabelle components -a' does not do anything, this suggests some problem with the components tool (or its dependencies).<span class="HOEnZb"><font color="#888888"><br>


<br>
  -- Lars<br>
</font></span></blockquote></div><br></div>