[isabelle-dev] Plan for Isabelle2020 release
makarius at sketis.net
Mon Mar 2 17:39:27 CET 2020
This is an update on the Isabelle2020 release process.
* The main blog spot with continuous updates is
* The Isabelle repository https://isabelle.in.tum.de/repos/isabelle is still
open for minor updates for the release. My impression is that various entries
for NEWS and CONTRIBUTORS are still missing. Now is the opportunity to finish
* Isabelle2020-RC2 is to be expected within 1-2 weeks: this will be also the
fork-point for the Isabelle release repository
Side-remark: more and more network resources are "normalized" towards my
single self-hosted server.
This saves a lot of time: instead of tedious negotiations with other
administrative entities, I just do what is really required on the spot. This
approach also helps to avoid the "Stickiness of Siren Servers" in the
terminology of Jaron Lanier, "Who owns the future?", 2013.
More information about the isabelle-dev