NEWS
changeset 53671 cee071d33161
parent 53656 a3c5ff796d84
child 53681 7e80b558c751
--- a/NEWS	Mon Sep 16 16:48:08 2013 +0200
+++ b/NEWS	Mon Sep 16 19:30:33 2013 +0200
@@ -128,6 +128,9 @@
 
 *** Pure ***
 
+* Former global reference trace_unify_fail is now available as
+configuration option "unify_trace_failure" (global context only).
+
 * Type theory is now immutable, without any special treatment of
 drafts or linear updates (which could lead to "stale theory" errors in
 the past).  Discontinued obsolete operations like Theory.copy,