As of Isabelle/3444e0bf9261 we are on jdk-8u51, which is the latest
Critical Patch Update by Oracle.
Oracle has had sufficient time to consolidate Java 8 for general use, so
we are presumably leaving Java 7 behind and not going back again (there
are no public updates of it anymore).
Apparently they had a storage system issue, and obviously didn't have a
tested recovery plan. At this point, the sooner everybody moves off of
Sourceforge, the better.
David
On 20/07/15 11:26, Makarius wrote:
On Mon, 20 Jul 2015, Christian Sternagel wrote:
http://afp.sourceforge.net/ seems
Dear all,
http://afp.sourceforge.net/ seems to be down. Just out of curiosity:
Does anyone know for how long and why?
-cheers
chris
___
isabelle-dev mailing list
isabelle-...@in.tum.de
All of sourceforge has been down for about a week at this point. It
seems as though the proverbial has hit the fan.
David
On 20/07/15 10:35, Christian Sternagel wrote:
Dear all,
http://afp.sourceforge.net/ seems to be down. Just out of curiosity:
Does anyone know for how long and why?
David Cock wrote:
Apparently they had a storage system issue, and obviously didn't have a
tested recovery plan.
There's some more information here:
http://sourceforge.net/blog/sourceforge-infrastructure-and-service-restoration/
In short, they are working on it, and interestingly, they are