Re: [isabelle] Isabelle2013-RC1 available for testing


On Sun, Jan 20, 2013 at 2:38 PM, Makarius <makarius at> wrote:
> Dear all,
> the Isabelle2013 release is anticipated for February 2013.  Before actual
> lift-off we have approx. 3 weeks of public testing of release candidates.
> 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-RC1 download page is
> -- although some parts of
> the text of the webpage is still missing.
> Observations from testing release candidates may be discussed here on
> isabelle-users (not isabelle-dev), on the bitbucket tracker, or via private
> mail.
> Active participation in testing is important to iron out small problems, and
> raise the overall quality of the system for everybody. The time to sort out
> issues is now.

On my MacOS X, I am getting on start up when it crashes:

dyld: unknown required load command 0x80000022
line 1:  2095 Trace/BPT trap          "$ISABELLE_JDK_HOME/bin/$PRG"

Return code: 133

Admittedly, I am still running 10.5.x on this particular laptop, which
is technically no longer supported by Apple, but I saw no mention in
the docs that officially Isabelle community no longer supports it. If
this is the case please mention it somewhere. I still happened to have
2011-1 and 2012-RC2 on it, and both work. All use jEdit.

>         Makarius

Serguei Mokhov |

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