[isabelle-dev] AFP devel not reachable
david.cock at inf.ethz.ch
Mon Jul 20 10:36:20 CEST 2015
All of sourceforge has been down for about a week at this point. It
seems as though the proverbial has hit the fan.
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?
> isabelle-dev mailing list
> isabelle-dev at in.tum.de
More information about the isabelle-dev