tuned;
authorwenzelm
Sun, 18 Jul 2021 22:13:36 +0200
changeset 74307 13c66810f7b0
parent 74306 68596ed5b7c2
child 74308 943757b788f9
tuned;
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: