[isabelle-dev] AFP devel not reachable

Makarius makarius at sketis.net
Mon Jul 20 11:26:09 CEST 2015


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



More information about the isabelle-dev mailing list