[isabelle-dev] Isabelle2013-2 release
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  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