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  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
including some explanations about the testing and problem reporting
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.
This archive was generated by a fusion of
Pipermail (Mailman edition) and