Stream: Mirror: Isabelle Users Mailing List

Topic: [isabelle] Isabelle2021-RC0 available for early experiments


view this post on Zulip 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

view this post on Zulip 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: Oct 25 2021 at 20:20 UTC