# HG changeset patch
# User wenzelm
# Date 1709222110 -3600
# Node ID 779cfa2573dacccdf109afc397820b01ccabfb14
# Parent  1cbae8af034cc80ab2a20e8153b4570323ef2f7f
more explicit NEWS (see 3648e9c88d0c);

diff -r 1cbae8af034c -r 779cfa2573da NEWS
--- a/NEWS	Thu Feb 29 11:12:10 2024 +0100
+++ b/NEWS	Thu Feb 29 16:55:10 2024 +0100
@@ -67,7 +67,10 @@
 
 *** Pure ***
 
-* Added configuration option for unifier tracing, which is now disabled by default.
+* Added configuration option "unify_trace" (default: false) to guard
+tracing of higher-order unification, which is ubiquitous in assumption
+steps and rule applications via resolution. This is disabled by default
+to avoid breakdown due to massive amounts of spurious messages.
 
 
 *** ML ***