[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 


More information about the isabelle-dev mailing list