# HG changeset patch
# User wenzelm
# Date 1646473447 -3600
# Node ID e2b5f8b7507ab9014ddb5fc7c5983cfa3295d063
# Parent  1129e82dc1ec3a22a5eb38b676c48e8c90a12a14
update official Isabelle release, notably for "Admin/init -R";

diff -r 1129e82dc1ec -r e2b5f8b7507a Admin/Release/official
--- a/Admin/Release/official	Fri Mar 04 23:22:39 2022 +0100
+++ b/Admin/Release/official	Sat Mar 05 10:44:07 2022 +0100
@@ -1,3 +1,4 @@
+Isabelle2021-1
 Isabelle2021
 Isabelle2020
 Isabelle2019