Dear Makarius,<div><br></div><div>I have managed to get the mercurial repository based development version working on Ubuntu 12.10 LTE. It did require installing a CPAN module :-</div><div><br></div><div>    perl -MCPAN -e 'install LWP::Simple'</div>

<div><br></div><div>Also the repository seems to be missing the documents in the 'docs' directory.</div><div><br></div><div>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.</div>

<div><br></div><div>I will try the Windows instillation which is what I really want to use when you<span style="color:rgb(85,85,85);font-family:arial,sans-serif;font-size:13px;white-space:nowrap;background-color:rgb(255,255,255)"> are able to provide instructions.</span></div>

<div><font color="#555555" face="arial, sans-serif"><span style="white-space:nowrap"><br></span></font></div><div><font color="#555555" face="arial, sans-serif"><span style="white-space:nowrap">Many thanks for the help,</span></font></div>

<div><font color="#555555" face="arial, sans-serif"><span style="white-space:nowrap"><br></span></font></div><div><font color="#555555" face="arial, sans-serif"><span style="white-space:nowrap">Aaron</span></font></div><div>

<font color="#555555" face="arial, sans-serif"><span style="white-space:nowrap"><br></span></font><br><div class="gmail_quote">On 10 December 2012 15:31, Makarius <span dir="ltr"><<a href="mailto:makarius@sketis.net" target="_blank">makarius@sketis.net</a>></span> wrote:<br>

<blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">On Mon, 10 Dec 2012, Makarius wrote:<br>
<br>
<blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">
I will update the official README_REPOSITORY shortly, to cover Windows as well.<br>
</blockquote>
<br>
See also <a href="http://isabelle.in.tum.de/repos/isabelle/file/ba9046bbb3ac/README_REPOSITORY" target="_blank">http://isabelle.in.tum.de/<u></u>repos/isabelle/file/<u></u>ba9046bbb3ac/README_REPOSITORY</a><span class="HOEnZb"><font color="#888888"><br>


<br>
<br>
        Makarius<br>
</font></span></blockquote></div><br></div>