Stream: Archive Mirror: Isabelle Users Mailing List

Topic: [isabelle] afp-2016-1 branch


view this post on Zulip Email Gateway (Aug 22 2022 at 14:29):

From: Gerwin.Klein@data61.csiro.au
Since the Isabelle2016-1 release is approaching, we will be preparing the new afp-2016-1 release branch as well.

If there are any urgent changes or updates to afp-devel that still need to go into afp-2016-1, please let me know. I am planning to fork off the branch in two days. Changes after that will not make it into the release.

Cheers,
Gerwin


Last updated: Mar 28 2024 at 16:17 UTC