[isabelle-dev] AFP hg down?

Jasmin Blanchette jasmin.blanchette at gmail.com
Wed Apr 23 08:28:29 CEST 2014

For the record: The AFP was apparently never down. It's just my ISP at home that doesn't seem to like "sourceforge.net" these days. Even basic things like "ping" don't work from home -- but they do work when I'm logged on a TU server. Strange...


Am 23.04.2014 um 07:35 schrieb Tobias Nipkow <nipkow at in.tum.de>:

> It works now.

More information about the isabelle-dev mailing list