Re: [isabelle-dev] AFP hg down?

2014-04-22 Thread Jasmin Blanchette
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... Jasmin Am 23.04.2014 um 07:35 schrieb Tobias Nip

[isabelle-dev] AFP hg down?

2014-04-22 Thread Jasmin Christian Blanchette
Hi all, For the last three hours or so, the AFP Mercurial repository has been unresponsive for me, "hanging" after: $ hg out comparing with ssh://blanche...@hg.code.sf.net/p/afp/code or any other "hg" command requiring the server. :S Jasmin