[isabelle-dev] Isabelle release

[Makarius]

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 
website.

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


 	Makarius