Re: [isabelle] Isabelle2014-RC0 available for testing

Le Sat, 05 Jul 2014 20:04:03 +0200, Makarius <makarius at> a écrit:

Dear Isabelle users,

the coming Isabelle2014 release is anticipated for August 2014. As an early semi-official release candidate for general testing there is now Isabelle2014-RC0 available from here:

So `datatype_new` will always be named the same? I though it will be renamed to just `datatype` and replace the old one.

“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.