[isabelle-dev] AFP: Sourceforge down

Makarius makarius at sketis.net
Sat Feb 14 00:12:15 CET 2015

On Thu, 12 Feb 2015, Andreas Lochbihler wrote:

> I have the impression that your push has not made it to the official 
> afp-code. At least, I cannot see it on
> http://sourceforge.net/p/afp/code/ci/6ff9a8c6405d04f28365434a0e7bd65ea89aad86/log/
> although my commits do show up there.

I have pushed it once more.


More information about the isabelle-dev mailing list