--- a/NEWS Tue Sep 29 12:12:34 2020 +0200
+++ b/NEWS Tue Sep 29 13:19:34 2020 +0200
@@ -159,9 +159,9 @@
Theory.join_theory from Isabelle2020). Special extend/merge behaviour at
the begin of a new theory can be achieved via Theory.at_begin.
-* Antiquotations @{scala_function} and @{scala} refer to registered
-Isabelle/Scala functions (of type String => String): invocation works
-via the PIDE protocol.
+* Antiquotations @{scala_function}, @{scala}, @{scala_thread} refer to
+registered Isabelle/Scala functions (of type String => String):
+invocation works via the PIDE protocol.
*** System ***