Stream: Mirror: Isabelle Development Mailing List

Topic: [isabelle-dev] Isabelle2022-RC3 after repository fork


view this post on Zulip Email Gateway (Oct 02 2022 at 18:27):

From: Makarius <makarius@sketis.net>
The isabelle-dev repository is now back in post-release mode (version
6ab4bb7cb8b2).

The release train for Isabelle2022 continues here:
https://isabelle.sketis.net/repos/isabelle-release

If there is anything for the release, it needs to be sent to me via e-mail
(without pushing it on the isabelle-dev repository).

Isabelle history is mostly linear, without odd forks, branches, merges of the
proverbial "average github project". This is important to sort out problems in
the proverbial "depths of time": I do this routinely whenever the state of
sources is somehow unclear (and sometimes get stuck in strange merge-knots in
the history).

So we need to be clear what is committed / pushed where: either for
isabelle-dev or for isabelle-release (the latter will return home to
isabelle-dev at a later stage).

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 12:30 UTC