[isabelle-dev] Isabelle2012 post-release mode

Gerwin Klein gerwin.klein at nicta.com.au
Sun May 27 08:22:37 CEST 2012


On 23/05/2012, at 10:17 PM, Gerwin Klein wrote:
> The AFP is now on freeze until the update to 2012 is out. 

AFP 2012 is out now and about to be announced.

The repository is back to normal and open for normal commit traffic again.

Cheers,
Gerwin



More information about the isabelle-dev mailing list