# HG changeset patch
# User wenzelm
# Date 1639218288 -3600
# Node ID c2a2be496f35aa1a6072393aebfdb1b85c9f2e9e
# Parent  c49362e85f5a6fee647508a1c5ec9f5cab7bac95
tuned;

diff -r c49362e85f5a -r c2a2be496f35 ANNOUNCE
--- a/ANNOUNCE	Tue Dec 07 22:11:43 2021 +0100
+++ b/ANNOUNCE	Sat Dec 11 11:24:48 2021 +0100
@@ -38,8 +38,9 @@
 
 * System: improved document preparation using Isabelle/Scala.
 
-* System: update to current OpenJDK 17 (LTS) and Poly/ML 5.9 (with preliminary
-support for arm64).
+* System: update to current Java 17 LTS.
+
+* System: update to Poly/ML 5.9 with improved support for ARM64 on Linux.
 
 
 You may get Isabelle2021-1 from the following mirror sites: