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 <makarius@sketis.net>
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:
https://isabelle-dev.sketis.net/phame/post/view/28/release_candidates_for_isabelle2021

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

Makarius


Last updated: Dec 05 2021 at 23:19 UTC