# HG changeset patch
# User wenzelm
# Date 1590590614 -7200
# Node ID cdcf2fcf3f5433792661cc271140849c10f46290
# Parent  0dc67ae4a4c7c7bb5c50f996d68a4c40a9df2157
tuned;

diff -r 0dc67ae4a4c7 -r cdcf2fcf3f54 NEWS
--- 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 ***