It worked for me this morning.
Tobias
Am 17/09/2013 12:28, schrieb Lars Hupel:
I was trying to update to the repository version today, but:
$ bin/isabelle components -a
### Missing Isabelle component: /home/lars/.isabelle/contrib/jdk-7u40
Getting
Happened to me too. I deleted the component manually and retried.
--lcp
On 17 Sep 2013, at 11:28, Lars Hupel hu...@in.tum.de wrote:
I was trying to update to the repository version today, but:
$ bin/isabelle components -a
### Missing Isabelle component:
On Tue, 17 Sep 2013, Lars Hupel wrote:
I was trying to update to the repository version today, but:
$ bin/isabelle components -a
### Missing Isabelle component: /home/lars/.isabelle/contrib/jdk-7u40
Getting http://isabelle.in.tum.de/components/jdk-7u40.tar.gz;
Unpacking
On Tue, 17 Sep 2013, Lars Hupel wrote:
The reason why I didn't consider external issues is that I was under
the impression that the integrity of the downloaded artifacts is checked
against `Admin/components/components.sha1`, but apparently that is not
the case. Is there a reason for that?
On Tue, 17 Sep 2013, Manuel Eberl wrote:
With the documentation on Isabelle/ML being so sparse, one is, as a
beginner, all but forced to experiment with snippets of code from other
parts of Isabelle until stuff works, and that's what I did.
The documentation is both too much and too little.
We've had such incidents before with these huge jdk components. I had
informed the local administrators about it, but they did not have any idea
what could be wrong with the http server -- they made a reboot but it did
not change substantially. If anyone wants to investigate further --
Hi Makarius,
This looks really bad, and needs to be investigated further. I've not seen
such a bad visual drop-out in the past 1-2 years, despite many minor mistakes
in the painting of Java on many different platforms.
I might be also responsible myself, potentially doing some text
See also Isabelle/432edb1a2469.
Makarius
-- Forwarded message --
Date: Tue, 17 Sep 2013 17:57:07 +0100
From: David Matthews david.matth...@prolingua.co.uk
To: PolyML mailing list pol...@inf.ed.ac.uk
Subject: [polyml] Poly/ML 5.5.1
I have uploaded the source for Poly/ML