[isabelle-dev] AFP: Sourceforge down

Makarius makarius at sketis.net
Tue Feb 10 19:03:48 CET 2015

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.


More information about the isabelle-dev mailing list