[isabelle-dev] Isabelle2013-2 release

Makarius makarius at sketis.net
Thu Nov 21 22:02:31 CET 2013

On Thu, 21 Nov 2013, Dmitriy Traytel wrote:

> From my angle Isabelle/f6ffe53387ef resolves [1] in a robust way. But 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 mailing list