Email Gateway (Aug 23 2022 at 08:27): Email Gateway (Aug 23 2022 at 08:27):From: Makarius <makarius@sketis.net>
Dear Isabelle users,
the release cycle for Isabelle2020 will officially start in a few weeks. An
informal snapshot Isabelle2020-RC0 for experimentation is already available
here: https://isabelle.in.tum.de/website-Isabelle2020-RC0
That is only a minimal website, with downloads for Linux, Windows, macOS. Note
that ANNOUNCE and NEWS are still subject to updates and changes.
The blog entry
https://isabelle-dev.sketis.net/phame/post/view/5/release_candidates_for_isabelle2020
is
dynamically updated to follow the release process.
This blog is located on the new isabelle-dev platform, based on
Isabelle/Phabricator https://sketis.net/2019/isabelle-phabricator-server-setup
(see also the NEWS entry and the included "system" manual of
Isabelle2020-RC0). It follows a current trend of self-hosting, independently
of huge internet corporations.
There is also a ticket system for information:
https://isabelle-dev.sketis.net/maniphest/query/all --- the tasks are the
result of curating the discussion on the Isabelle mailing lists.
When discussing observations about Isabelle2020 release candidates here,
please provide a "Subject:" line that fits to the content, not just a clone of
this
announcement.
Makarius
Last updated: Apr 20 2024 at 04:19 UTC