[isabelle-dev] Isabelle2013-2 release

Makarius makarius at sketis.net
Thu Nov 21 12:48:14 CET 2013

On Thu, 21 Nov 2013, Dmitriy Traytel wrote:

> From my angle Isabelle/f6ffe53387ef resolves [1] in a robust way.

This changeset amends lost updates from a few months ago, which is always 
a very embarrassing situation -- a syntactic regression of the source.

Your changeset looks formally OK to me for Isabelle2013-2, although I have 
not tried it myself and I am not the expert on these modules.


More information about the isabelle-dev mailing list