On Tue, 4 Sep 2012, Tjark Weber wrote:
On Tue, 2012-09-04 at 18:09 +0200, Makarius wrote:
On Tue, 4 Sep 2012, Jasmin Blanchette wrote:
Yes, I found out so much as soon as the web site was up. I was following
the instructions from
https://isabelle.in.tum.de/community/Working_with_the_repositor
On Tue, 2012-09-04 at 18:09 +0200, Makarius wrote:
> On Tue, 4 Sep 2012, Jasmin Blanchette wrote:
> > Yes, I found out so much as soon as the web site was up. I was following
> > the instructions from
> >
> > https://isabelle.in.tum.de/community/Working_with_the_repository_version_of_Isabelle
> >
On Tue, 4 Sep 2012, Jasmin Blanchette wrote:
Yes, I found out so much as soon as the web site was up. I was following
the instructions from
https://isabelle.in.tum.de/community/Working_with_the_repository_version_of_Isabelle
one step at a time.
You have been luck that Tjark updated it agai
Hi Makarius,
> There is still something missing, as far as I can tell from your "components
> -l" printout before.
>
> You need to init components from the Admin/components/* space explicitly to
> claim them, and the let "components -a" resolve them. The general attitude
> is to provide vario
On Tue, 4 Sep 2012, Jasmin Christian Blanchette wrote:
Am 04.09.2012 um 13:31 schrieb Jasmin Blanchette:
Going to
http://isabelle.in.tum.de/components/
prints
Not Found
The requested URL /components/ was not found on this server.
OK, the web site seems to be up now. Forget my em
Am 04.09.2012 um 13:31 schrieb Jasmin Blanchette:
> Going to
>
>http://isabelle.in.tum.de/components/
>
> prints
>
>Not Found
>
>The requested URL /components/ was not found on this server.
OK, the web site seems to be up now. Forget my email.
Jasmin
Hi all,
I am trying to get the JDK 1.7 using the command
isabelle components -a
but the command returns immediately. The diagnosis command
isabelle components -l
prints
Available components:
/Users/blanchet/isabelle
/Users/blanchet/isabelle/src/Tools/Code
/Users/
Various changes leading up to Isabelle/ae7429d66b1e attempt to disentangle
the component situation on the Isabelle repository, as opposed to regular
releases.
See the end of README_REPOSITORY and the system manual on "Add-on
components" and the "isabelle components" tool.
Short version:
*