Re: [isabelle] Isabelle_17-Jan-2013 scala code export changes



On Sun, 27 Jan 2013, C. Diekmann wrote:

I just tested Makarius' Isabelle_17-Jan-2013 testing release [1] for Linux.

That was a leaked test of packaging, before the start of release candidates for Isabelle2013. In the meantime the official Isabelle2013-RC1 was announced here https://lists.cam.ac.uk/pipermail/cl-isabelle-users/2013-January/msg00096.html including some explanations about the testing and problem reporting procedure.

Isabelle2013-RC2 is coming soon. It is important to keep up with the RC chain, until the official release, and avoid getting stuck with accidental RC versions for your personal use.


	Makarius





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