Re: [isabelle] Isabelle2014-RC1: defaults for (co)datatype selectors



On Wed, 30 Jul 2014, Jasmin Christian Blanchette wrote:

Makarius: Could you import the following change? (I have no idea if the CRLF quirk is still affecting my email client, but please do your usual magic.) The issue is a regression w.r.t. Isabelle2013-2, so it would be nice to have it fixed.

OK, see https://bitbucket.org/isabelle_project/isabelle-release/commits/2d0f0d6fdf3 so it will be in the next release candidate (next week).


	Makarius




This archive was generated by a fusion of Pipermail (Mailman edition) and MHonArc.