[isabelle-dev] jdk-8u51

2015-07-20 Thread Makarius
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).



Makarius

___
isabelle-dev mailing list
isabelle-...@in.tum.de
https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev


Re: [isabelle-dev] AFP devel not reachable

2015-07-20 Thread David Cock
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 to be down. Just out of curiosity: 
Does anyone know for how long and why?


Because Sourceforge sucks?

We know that already for many years, and are still dependent on it. 
Problems can be solved early, when they become known for the first time.



Makarius
___
isabelle-dev mailing list
isabelle-...@in.tum.de
https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev 



___
isabelle-dev mailing list
isabelle-...@in.tum.de
https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev


[isabelle-dev] AFP devel not reachable

2015-07-20 Thread Christian Sternagel

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
https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev


Re: [isabelle-dev] AFP devel not reachable

2015-07-20 Thread David Cock
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?


-cheers

chris
___
isabelle-dev mailing list
isabelle-...@in.tum.de
https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev 



___
isabelle-dev mailing list
isabelle-...@in.tum.de
https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev


Re: [isabelle-dev] AFP devel not reachable

2015-07-20 Thread Bertram Felgenhauer
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 holding
restoration of SCM services off until last...

 At this point, the sooner everybody moves off of
 Sourceforge, the better.

It'd also be nice to have a mirror of the repository, regardless of where
it's hosted.

Cheers,

Bertram
___
isabelle-dev mailing list
isabelle-...@in.tum.de
https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev