NEWS

--- a/NEWS	Wed Feb 28 15:19:15 2024 +0100
+++ b/NEWS	Wed Feb 28 17:25:54 2024 +0100
@@ -62,6 +62,11 @@
       transp_on_multp
 
 
+*** Pure ***
+
+* Added configuration option for unifier tracing, which is now disabled by default.
+
+
 *** ML ***
 
 * ML antiquotation "try" provides variants of exception handling that