NEWS

--- a/NEWS	Wed Aug 14 18:59:49 2024 +0200
+++ b/NEWS	Wed Aug 14 21:23:22 2024 +0200
@@ -7,6 +7,13 @@
 New in this Isabelle version
 ----------------------------
 
+** General **
+
+* The Simplifier now supports special "congprocs", using keyword
+'congproc' or 'weak_congproc' in the 'simproc_setup' command (or ML
+antiquotation of the same name).
+
+
 ** HOL **
 
 * Theory "HOL.Wellfounded":