[isabelle-dev] AFP/sourceforge

Gerwin Klein gerwin.klein at nicta.com.au
Tue Feb 1 06:17:54 CET 2011


Shell access on sourceforge is currently still down after the attack last week.

This means there are currently no automatic development snapshot updates to AFP and release/submission scripts don't work either. 

I hope this will be over soon, but it may delay the release of AFP 2011 a little.

Cheers,
Gerwin


More information about the isabelle-dev mailing list