# HG changeset patch
# User wenzelm
# Date 1735816491 -3600
# Node ID fcc7a78b7220372f5bffa9ed99f911ccbaa9949d
# Parent  f135e0693202e75aa784612a8ec42f7e94231c8c
tuned NEWS;

diff -r f135e0693202 -r fcc7a78b7220 NEWS
--- a/NEWS	Thu Jan 02 12:13:18 2025 +0100
+++ b/NEWS	Thu Jan 02 12:14:51 2025 +0100
@@ -222,8 +222,8 @@
 
 *** HOL ***
 
-* Code generator: `code_reserved` now uses brackets for target languages,
-similar to `code_printing.
+* Code generator: command 'code_reserved' now uses parentheses for
+target languages, similar to 'code_printing'.
 
 * Sledgehammer:
   - Added instantiations of facts using the "of" attribute