Stream: Mirror: Isabelle Users Mailing List

Topic: [isabelle] Blog entry: Release Candidates for Isabelle2021

view this post on Zulip Email Gateway (Jan 19 2021 at 15:44):

From: Makarius <>
Dear Isabelle users,

we are approx. half-way through the release process for Isabelle2021: RC3 is
to be expected within a few days, when the latest Java updates become available.

The ongoing release process is documented on this blog entry:

This includes current download links (which I have changed just now to avoid
an unstable server).


Last updated: Jan 25 2022 at 02:35 UTC