# HG changeset patch
# User wenzelm
# Date 1610997478 -3600
# Node ID 51c53a7c6473d2aae9d3074380d7331c81989fb9
# Parent  7c960e2ba33df41315996fd7c39a1330ea14b105
tuned;

diff -r 7c960e2ba33d -r 51c53a7c6473 ANNOUNCE
--- a/ANNOUNCE	Mon Jan 18 20:11:42 2021 +0100
+++ b/ANNOUNCE	Mon Jan 18 20:17:58 2021 +0100
@@ -12,7 +12,7 @@
 
 * Isabelle/jEdit: improved monitoring of Java and ML process.
 
-* Isabelle/jEdit: look-and-feel and IDE feedback improvements.
+* Isabelle/jEdit: improved look-and-feel and IDE feedback.
 
 * Pure: improved handling of named contexts and local syntax bundles.
 
@@ -28,7 +28,7 @@
 
 * System: support for Isabelle/Scala services defined in user-space.
 
-* Experimental support for ARM64 platform on Linux and macOS (Apple Silicon).
+* Partial support for ARM64 platform on Linux and macOS (Apple Silicon).
 
 
 You may get Isabelle2021 from the following mirror sites: