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.
so it will be in the next release candidate (next week).
This archive was generated by a fusion of
Pipermail (Mailman edition) and