Re: [isabelle] Isabelle2013-2-RC2 available for testing

Le Thu, 28 Nov 2013 15:34:25 +0100, Makarius <makarius at> a écrit:

Dear Isabelle users,

this is yet another release candidate for the second attempt to make a stable release of Isabelle this autumn:

Don't know if it's just me, here is anyway: in the outline in the Sidekick, the keyword “end” appears for each construct terminated with an “end”. It's a bit like noise. May be an option could be to filter out this “end” or else tell the parser to handle “end” as if it was inside the construct.

“Syntactic sugar causes cancer of the semi-colons.” [1]
“Structured Programming supports the law of the excluded muddle.” [1]
[1]: Epigrams on Programming — Alan J. — P. Yale University

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