Stream: Archive Mirror: Isabelle Users Mailing List

Topic: [isabelle] Blog: Release candidates for Isabelle2016

view this post on Zulip Email Gateway (Aug 22 2022 at 12:07):

From: Makarius <makarius@sketis.net>
Dear Isabelle users,

the ongoing release process is continuously documented here:
http://sketis.net/2016/release-candidates-for-isabelle2016

Makarius

Last updated: Apr 30 2025 at 08:27 UTC