# HG changeset patch
# User wenzelm
# Date 1689021259 -7200
# Node ID 2a3577d0a27aa517c83f01e192883091d9cb4f63
# Parent  01060d86b04012f35dc5a1b07547c6b070febfa5
tuned;

diff -r 01060d86b040 -r 2a3577d0a27a ANNOUNCE
--- a/ANNOUNCE	Mon Jul 10 22:31:47 2023 +0200
+++ b/ANNOUNCE	Mon Jul 10 22:34:19 2023 +0200
@@ -6,10 +6,9 @@
 This version introduces notable changes over Isabelle2022: see the
 NEWS file for further details. Here are various details:
 
-
 * ML heap usage and stored heap size has been significantly reduced.
 
-* PIDE: interactive document preparation via Isabelle/jEdit panel.
+* Interactive document preparation via Isabelle/jEdit panel.
 
 * Demo documents for well-known LaTeX classes.
 
@@ -21,7 +20,7 @@
 
 * Scala and ML: support for Zstd compression.
 
-* System: more robust "isabelle sync" thanks to bundled "rsync" executables.
+* System: more robust "isabelle sync" tool via bundled "rsync" executables.
 
 * Support for the Dotnet platform (.NET) and Fsharp (F#).