tuned;
authorwenzelm
Mon, 18 Jan 2021 20:17:58 +0100
changeset 73402 51c53a7c6473
parent 73401 7c960e2ba33d
child 73403 480521bdaf3a
tuned;
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: