[isabelle-dev] AFP hg down?

Jasmin Christian Blanchette jasmin.blanchette at gmail.com
Wed Apr 23 00:19:59 CEST 2014

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://blanchette@hg.code.sf.net/p/afp/code

or any other "hg" command requiring the server. :S


More information about the isabelle-dev mailing list