[isabelle] Isabelle2014-RC0 available for testing

Dear Isabelle users,

the coming Isabelle2014 release is anticipated for August 2014. As an early semi-official release candidate for general testing there is now Isabelle2014-RC0 available from here:


This is an opportunity to look how things will presumably be in the release, and to report problems, either on the isabelle-users mailing list or via private mail.

The very same version will be used at the Isabelle tutorial at VSL 2014 in Vienna next week: http://vsl2014.at/isabelle

The Vienna Summer of Logic is the largest convention of Logicians of known human history (i.e. the last 15000 years) on this planet. Many of the protagonists of this mailing list will be there. I am myself attending the ITP week with two adjacent workshop days: 13..18-Jul-2014.

If there are any particular problems with the increasingly interactive Isabelle computer-game, which is the Prover IDE, I would be happy to sort this out personally. (Including the canonical question about remaining uses of Proof General.)

After the conference -- more than 2 weeks from now -- there will be the normal Isabelle2014-RC1, with more formal testing, reporting, polishing, until final lift-off in August, when most Frenchmen are on vacation.


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