Re: [isabelle] Isabelle2015-RC0 available for testing



Dear Makarius,

  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.

Best,
Wenda

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.


	Makarius

--
Wenda Li
PhD Candidate
Computer Laboratory
University of Cambridge




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