diff -r 9644811b5b0a -r a2afc7ed2c68 NEWS
--- a/NEWS	Wed Apr 08 14:09:32 2020 +0200
+++ b/NEWS	Wed Apr 08 14:25:28 2020 +0200
@@ -18,8 +18,9 @@
 
 * General support for Isabelle/Scala system services, configured via the
 shell function "isabelle_scala_service" in etc/settings (e.g. of an
-Isabelle component); e.g. see isabelle.Bibtex.File_Format. This
-supersedes former "isabelle_file_format": minor INCOMPATIBILITY.
+Isabelle component). For example, see isabelle.Bibtex.File_Format. This
+supersedes former "isabelle_scala_tools" and "isabelle_file_format":
+minor INCOMPATIBILITY.