# HG changeset patch
# User wenzelm
# Date 1733514384 -3600
# Node ID 7a1001f4c6004c9e99e1ba68f723d7f186c7a8f3
# Parent  6f8a56a6b3916286cfeb2d716eea811997863cff
NEWS;

diff -r 6f8a56a6b391 -r 7a1001f4c600 NEWS
--- a/NEWS	Fri Dec 06 20:26:33 2024 +0100
+++ b/NEWS	Fri Dec 06 20:46:24 2024 +0100
@@ -119,6 +119,10 @@
 
   unbundle no datatype_record_syntax
 
+* Printing of constants and bound variables is more careful to avoid
+free variables, and fixed variables with mixfix syntax (including
+'structure'). Rare INCOMPATIBILITY, e.g. in "subgoal_tac", "rule_tac".
+
 
 *** Isabelle/jEdit Prover IDE ***