[isabelle-dev] AFP: Sourceforge down

Makarius makarius at sketis.net
Tue Feb 10 23:08:22 CET 2015

On Tue, 10 Feb 2015, Makarius wrote:

> Sourceforge is presently in down due to serious technical problems. This is 
> relevant for afp-devel.
> Here is my own clone of it: https://bitbucket.org/makarius/afp-devel
> In particular afp-devel/2aa8b0c283eb corresponds to 
> Isabelle/59817f489ce3 with its changes on resolve_tac.

Sourceforge appears to be back, and I have pushed the above material 


More information about the isabelle-dev mailing list