tuned;

--- a/NEWS	Wed May 27 16:09:25 2020 +0200
+++ b/NEWS	Wed May 27 16:43:34 2020 +0200
@@ -43,9 +43,9 @@
 
 *** ML ***
 
-* Antiquotations @{scala_function NAME} and @{scala NAME} refer to
-registered Isabelle/Scala functions (of type String => String):
-invocation works via the PIDE protocol.
+* Antiquotations @{scala_function} and @{scala} refer to registered
+Isabelle/Scala functions (of type String => String): invocation works
+via the PIDE protocol.
 
 
 *** System ***