diff -r 5894859c5c84 -r f5722290a4d0 NEWS
--- a/NEWS	Mon Aug 17 13:16:42 2020 +0200
+++ b/NEWS	Mon Aug 17 16:26:58 2020 +0200
@@ -172,6 +172,9 @@
 "isabelle_scala_tools" and "isabelle_file_format": minor
 INCOMPATIBILITY.
 
+* Isabelle server allows user-defined commands via
+isabelle_scala_service.
+
 * Isabelle/Phabricator setup has been updated to follow ongoing
 development: libphutil has been discontinued. Minor INCOMPATIBILITY:
 existing server installations should remove libphutil from