[isabelle-dev] Isabelle2013-2 release

[Makarius]

On Fri, 22 Nov 2013, Christian Sternagel wrote:

> Looks good.

>>> I'm waiting for Christian to confirm this.
>> 
>> Chris, is this OK?
>> 
>> I am ready to send f6ffe53387ef to the emergency release branch
>> https://bitbucket.org/isabelle_project/isabelle-release

See now 
https://bitbucket.org/isabelle_project/isabelle-release/commits/bf2519f2bd01


 	Makarius