Email Gateway (Nov 30 2020 at 12:53): Email Gateway (Nov 30 2020 at 12:53):From: Makarius <makarius@sketis.net>
Dear Isabelle users,
official Isabelle releases happen every 8-10 months, and no amount of global
insanity will prevent that.
There is now a snapshot for early experiments on
https://isabelle.in.tum.de/website-Isabelle2021-RC0
See also the blog
https://isabelle-dev.sketis.net/phame/post/view/28/release_candidates_for_isabelle2021
which will follow the release process.
Moreover, for the first time there will be a virtual meeting to discuss
observations and pending problems of the present release snapshot:
Friday 04-Dec-2020 14:00 UTC+0
https://nextcloud.sketis.net/index.php/apps/bbb/b/PnfGWSaZHFNqfqHJ
Preferred browsers: Firefox, Chromium/Chrome, or recent MS Edge.
(That is my existing Nextcloud instance with a small "app" to manage
connections for BigBlueButton on another server of mine. This follows an
ongoing movement for professional self-hosting and virtual empowerment of
citizens in Augsburg.)
People who have particular topics or interests for the virtual meeting on
Friday can send me input via email within the next few days.
Makarius
Email Gateway (Dec 04 2020 at 12:50):From: Makarius <makarius@sketis.net>
Reminder: that is in 70 minutes.
I have started to make a sketch of notable topics here:
https://nextcloud.sketis.net/index.php/s/5dPJasdxnWMR8W9 (that is a theory
file to be opened with Isabelle2021-RC0).
Makarius
Last updated: Apr 25 2024 at 16:19 UTC