[isabelle-dev] Isabelle release

Makarius makarius at sketis.net
Mon Oct 10 12:47:07 CEST 2011

Dear all,

the release is alreay in place, but before announcing it officially the 
Sydney mirror needs another round of updating, which will probably happen 
around midnight GMT.  This gives another chance to sport drop-outs on the 

The main Isabelle repository is already in post-release mode: I have 
merged the release branch in Isabelle/d78ec6c10fa1.


More information about the isabelle-dev mailing list