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 so it will be in the next release candidate (next week).


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