Lars,<br><br><div class="gmail_quote">On 11 December 2012 08:49, 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 10.12.2012 19:54, Aaron Gray wrote:<br>
<blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">
I cannot get the 'isabelle components -a' to work on Fedora 17, 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 be well<br>
appreciated.<br>
</blockquote>
<br></div>
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?<br></blockquote><div><br></div><div>Its missing all the 'contrib' directory entries as compared to Ubuntu's.</div>

<div><br></div><div>Aaron</div><div><br></div><div><br></div><div> </div><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">
<br>
  -- Lars<br>
______________________________<u></u>_________________<br>
isabelle-dev mailing list<br>
<a href="mailto:isabelle-dev@in.tum.de" target="_blank">isabelle-dev@in.tum.de</a><br>
<a href="https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev" target="_blank">https://mailmanbroy.<u></u>informatik.tu-muenchen.de/<u></u>mailman/listinfo/isabelle-dev</a><br>
</blockquote></div><br>