# HG changeset patch
# User wenzelm
# Date 1626639216 -7200
# Node ID 13c66810f7b0e547b6f454d29b1fc75ba22636bd
# Parent  68596ed5b7c29b96e8b67ddc3cfc8dc6263c4e26
tuned;

diff -r 68596ed5b7c2 -r 13c66810f7b0 NEWS
--- a/NEWS	Sun Jul 18 21:47:20 2021 +0200
+++ b/NEWS	Sun Jul 18 22:13:36 2021 +0200
@@ -276,7 +276,7 @@
 *** System ***
 
 * Each Isabelle component may specify a Scala/Java jar module
-declaratively via etc/build.props (all file names are relative to the
+declaratively via etc/build.props (file names are relative to the
 component directory). E.g. see $ISABELLE_HOME/etc/build.props with
 further explanations in the "system" manual.
 
@@ -290,9 +290,10 @@
 plugins (jedit_base and jedit_main).
 
 * Isabelle/jEdit is now composed more conventionally from the original
-jEdit in $JEDIT_HOME (with minor patches), plus two plugins that are
-produced in $JEDIT_SETTINGS/jar on demand. The main isabelle.jedit
-module is now part of Isabelle/Scala (as one big $ISABELLE_SCALA_JAR).
+jEdit text editor in $JEDIT_HOME (with minor patches), plus two Isabelle
+plugins that are produced in $JEDIT_SETTINGS/jars on demand. The main
+isabelle.jedit module is now part of Isabelle/Scala (as one big
+$ISABELLE_SCALA_JAR).
 
 * ML profiling has been updated and reactivated, after some degration in
 Isabelle2021: