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



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

Dear Isabelle users,

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

   http://isabelle.in.tum.de/website-Isabelle2013-2-RC2

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.