Re: [isabelle] Isabelle2015-RC0 available for testing
export_code "gcd::intâintâint" in SML
fails in Isabelle2015-RC0, with message:
Dependency "int" :: "semiring_div_parity" -> "int" ::
"semiring_parity" would result in module dependency cycle
while it works fine in Isabelle2014.
On 2015-04-11 20:49, Makarius wrote:
Dear Isabelle users,
we are heading towards Isabelle2015, hopefully to appear at the end of
May 2015. To get started with public testing of release candidates
there is now http://isabelle.in.tum.de/website-Isabelle2015-RC0
RC0 is still relatively early in the process: the website has no
content yet, and some documentation is not yet updated. The NEWS file
is already ready for inspection (using the tree-view of Sidekick).
Any problems, observations etc. can be discussed here on the mailing
list. Quite often a change of behaviour is perceived as a problem, and
sometimes it is one, sometimes not. In any case, open discussion
helps to figure out what is potentially confusing to users.
University of Cambridge
This archive was generated by a fusion of
Pipermail (Mailman edition) and