tuned;
authorwenzelm
Wed, 27 May 2020 16:43:34 +0200
changeset 72136 cdcf2fcf3f54
parent 72135 0dc67ae4a4c7
child 72137 f8b0271cc744
tuned;
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 ***