Stream: Mirror: Isabelle Development Mailing List

Topic: [isabelle-dev] Isabelle2023-RC3 release fork today


view this post on Zulip Email Gateway (Aug 10 2023 at 09:09):

From: Makarius <makarius@sketis.net>
The fork of the isabelle-dev vs. isabelle-release repository will happen later
today, within a few hours. There will be Isabelle2023-RC3 emerging from this.

To avoid confusion on isabelle-dev repository, and resulting re-spin of
long-running Isabelle/AFP tests, further changes be postponed.

Important changes for Isabelle2023 can still be discussed, to see if it is for
Isabelle2023-RC3 today, or Isabelle2023-RC4 later on.

Everything else is for post-Isabelle2023 ...

Makarius


isabelle-dev mailing list
isabelle-dev@in.tum.de
https://mailman46.in.tum.de/mailman/listinfo/isabelle-dev

view this post on Zulip Email Gateway (Aug 10 2023 at 09:27):

From: Makarius <makarius@sketis.net>
After the fork of Isabelle2023-RC3, and only if it does not break afp-devel.
(Gerwin said the AFP fork would be 1 week later.)

Makarius


isabelle-dev mailing list
isabelle-dev@in.tum.de
https://mailman46.in.tum.de/mailman/listinfo/isabelle-dev

view this post on Zulip Email Gateway (Aug 10 2023 at 21:43):

From: Makarius <makarius@sketis.net>
The tag Isabelle2023-RC3 and post-release point f467ff4aa8f9 are already
published on isabelle-dev. From now on, all changes are for post-Isabelle2023
development.

While afp-devel is still on pre-Isabelle2023, we need to take care that
nothing breaks over there. As of AFP/4605c928f00e, everything works with
Isabelle2023-RC3 (tested on arm64_32-darwin).

Today, I spent several hours longer than anticipated, and did not fully manage
to get everything into RC3 that was planned:

* The cluster build tools are hardly changed wrt. RC2: several fine points
still need to be sorted out to make this work properly.

* The bundled VSCodium is still at 1.70.1, as in Isabelle2022. I have
invested 1-2 days trying to build current 1.81.0.23216, but failed. It works
on Linux and presumably macOS, but Windows as cross-build on Linux failes due
to oddities with rcedit.exe via wine.

There is no particular reason to update VSCodium, apart from noisy crowds from
the "latest-is-greatest" cult. And since there is a new release every month,
any current version will be outdated quickly.

Makarius


isabelle-dev mailing list
isabelle-dev@in.tum.de
https://mailman46.in.tum.de/mailman/listinfo/isabelle-dev


Last updated: Mar 04 2024 at 10:08 UTC