[isabelle-dev] Isabelle2013-2 release

Makarius makarius at sketis.net
Fri Nov 22 22:10:49 CET 2013


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



More information about the isabelle-dev mailing list