[isabelle-dev] Isabelle2013-2 release
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
More information about the isabelle-dev