NEWS

--- a/NEWS	Wed May 27 13:57:13 2020 +0200
+++ b/NEWS	Wed May 27 14:27:22 2020 +0200
@@ -7,6 +7,12 @@
 New in this Isabelle version
 ----------------------------
 
+*** Document preparation ***
+
+* Antiquotation @{bash_function NAME} prints the given GNU bash function
+verbatim --- checked against the Isabelle settings environment.
+
+
 *** Pure ***
 
 * Definitions in locales produce rule which can be added as congruence