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



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

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

See 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

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


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