[isabelle-dev] AFP: Sourceforge down

Andreas Lochbihler andreas.lochbihler at inf.ethz.ch
Thu Feb 12 09:47:58 CET 2015


I have the impression that your push has not made it to the official afp-code. At least, I 
cannot see it on


although my commits do show up there.


On 10/02/15 23:08, Makarius wrote:
> 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 there.
>      Makarius
> _______________________________________________
> isabelle-dev mailing list
> isabelle-dev at in.tum.de
> https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev

More information about the isabelle-dev mailing list