Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
tuned NEWS;
authorwenzelm
Thu, 02 Jan 2025 12:14:51 +0100
changeset 81708 fcc7a78b7220
parent 81707 f135e0693202
child 81709 0b088316b8a3
tuned NEWS;
NEWS file | annotate | diff | comparison | revisions 
--- 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
isabelle