Email Gateway (Aug 06 2023 at 14:15): Email Gateway (Aug 06 2023 at 14:15):From: Makarius <makarius@sketis.net>
Dear Isabelle users,
from our history we understand better what we really are.
Here are some hints to use "hg bisect" with the Isabelle repository (the text
may change further as we continue in the Isabelle2023 release process):
https://isabelle.sketis.net/repos/isabelle-release/rev/b2bb63d11ade
The main tool behind it is Admin/init to take care of required Isabelle
components. Everything else works via the implicit dependency and build
management of e.g. "isabelle jedit" or "isabelle scala_build" or "isabelle build".
Bisection is particularly relevant to figure out if changed behaviour after
the last release was intentional or just some accident. Without hard evidence
from the history it is difficult to figure out the truth (or approximate it as
much as possible).
Makarius
Last updated: Apr 28 2024 at 20:16 UTC