Re: [isabelle] Isabelle2014-RC0 available for testing



Le Sat, 05 Jul 2014 20:04:03 +0200, Makarius <makarius at sketis.net> 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:

   http://isabelle.in.tum.de/website-Isabelle2014-RC0


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.