# HG changeset patch
# User wenzelm
# Date 1586461800 -7200
# Node ID 1dd97156db803c644a1b4c800989bd3332dbd23b
# Parent  83574f13d0f0e971b3435067ef707edf030b39da
tuned;

diff -r 83574f13d0f0 -r 1dd97156db80 NEWS
--- a/NEWS	Thu Apr 09 14:35:36 2020 +0200
+++ b/NEWS	Thu Apr 09 21:50:00 2020 +0200
@@ -18,9 +18,10 @@
 
 * General support for Isabelle/Scala system services, configured via the
 shell function "isabelle_scala_service" in etc/settings (e.g. of an
-Isabelle component). For example, see isabelle.Bibtex.File_Format. This
-supersedes former "isabelle_scala_tools" and "isabelle_file_format":
-minor INCOMPATIBILITY.
+Isabelle component); see implementations of class
+Isabelle_System.Service in Isabelle/Scala. This supersedes former
+"isabelle_scala_tools" and "isabelle_file_format": minor
+INCOMPATIBILITY.