[isabelle-dev] Broken component: jdk7u40

Lars Hupel hupel at in.tum.de
Mon Sep 30 14:01:31 CEST 2013

> I also tried to download jdk7u40 today (twice), and ran into the very same
> problem.
> Maybe someone should check the configuration of the web server?

I just mailed the local sysadmins about that issue. Since this seems to
occur every now and then, we'll have to investigate that further. I'll
keep you posted about that.

More information about the isabelle-dev mailing list