Re: [isabelle] Isabelle2013-RC2 available for testing



Concerning documentation, there is a confusing paragraph in `isabelle doc locales` page 2, starting with "The keyword notes denotes ...". (The sentence starting with "Instead" does not seem to fit here.)

cheers

chris

On 01/29/2013 02:01 AM, Makarius wrote:
Dear all,

this is one more step towards the Isabelle2013 release in mid-February.

See https://bitbucket.org/isabelle_project/isabelle-release for the main
website where this is organized.  There is also a link to an issue
tracker on the same Bitbucket site.

The main Isabelle2013-RC2 download page is
http://isabelle.in.tum.de/website-Isabelle2013-RC2

Observations from testing release candidates may be discussed here on
isabelle-users, on the bitbucket tracker, or via private mail.


     Makarius







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