NEWS

 
 
 *** 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.
 
 * Command-line tool "isabelle scala_build" allows to invoke the build
 process of all Scala/Java modules explicitly. Normally this is done

 providing Scala/Java sources of all components with etc/build.props,
 including user add-ons. This includes jEdit sources and Isabelle/jEdit
 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:
 
   - "isabelle build -o threads=1 -o profiling=..." works properly