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 ***