[isabelle-dev] AFP devel not reachable
david.cock at inf.ethz.ch
Mon Jul 20 11:32:22 CEST 2015
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.
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.
> isabelle-dev mailing list
> isabelle-dev at in.tum.de
More information about the isabelle-dev