Dear Makarius,
I have managed to get the mercurial repository based development version
working on Ubuntu 12.10 LTE. It did require installing a CPAN module :-
perl -MCPAN -e 'install LWP::Simple'
Also the repository seems to be missing the documents in the 'docs'
directory.
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.
I will try the Windows instillation which is what I really want to use when
you are able to provide instructions.
Many thanks for the help,
Aaron
On 10 December 2012 15:31, Makarius <[email protected]> wrote:
> On Mon, 10 Dec 2012, Makarius wrote:
>
> I will update the official README_REPOSITORY shortly, to cover Windows as
>> well.
>>
>
> See also http://isabelle.in.tum.de/**repos/isabelle/file/**
> ba9046bbb3ac/README_REPOSITORY<http://isabelle.in.tum.de/repos/isabelle/file/ba9046bbb3ac/README_REPOSITORY>
>
>
> Makarius
>
_______________________________________________
isabelle-dev mailing list
[email protected]
https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev
