Stream: Archive Mirror: Isabelle Users Mailing List

Topic: [isabelle] Isabelle2013-1-RC3 available for testing

view this post on Zulip Email Gateway (Aug 19 2022 at 12:07):

From: Makarius <makarius@sketis.net>
Dear Isabelle users,

here is another release candidate:

http://isabelle.in.tum.de/website-Isabelle2013-1-RC3

Notable changes wrt. Isabelle2013-1-RC2:

* Minor tuning of Isabelle/HOL library and tools.

* Minor tuning of some Isabelle/jEdit GUI aspects.

* More documentation for Isabelle/jEdit.

* More robust socket IO between Isabelle/ML and Isabelle/Scala
(relevant for Windows).

See also https://bitbucket.org/isabelle_project/isabelle-release for the
main website where the final stage before Isabelle2013-1 is organized.
There is also a link to an issue tracker on the same Bitbucket site.

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

I am on vacation from 17-Oct-2013 to 04-Nov-2013. When I return I will
pick up all loose threads on isabelle-users and the bitbucket tracker, and
head on towards the final release.

Makarius

view this post on Zulip Email Gateway (Aug 19 2022 at 12:49):

From: Jasmin Christian Blanchette <jasmin.blanchette@gmail.com>
Hi Cornelius,

Today I observed the following: when try0 suggest auto[1] and I click
on it, it inserts apply (auto [1])', it should be apply (auto)[1]'.

Thanks for the report. I've fixed it in the development version. However, it is not a regression, so I won't argue for the inclusion of this change in the final Isabelle2013-1 release.

Regards,

Jasmin

Last updated: Apr 23 2024 at 12:29 UTC