[isabelle-dev] AFP: Sourceforge down

[Makarius]

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.


        Makarius

_______________________________________________
isabelle-dev mailing list
isabelle-...@in.tum.de
https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev