# HG changeset patch
# User wenzelm
# Date 1379324784 -7200
# Node ID a3c5ff796d8480d14f725ae1d5367dc5ac2045d6
# Parent  9245797294037a634fe8f2d98a148212266be354
more NEWS;

diff -r 924579729403 -r a3c5ff796d84 NEWS
--- a/NEWS	Mon Sep 16 11:22:06 2013 +0200
+++ b/NEWS	Mon Sep 16 11:46:24 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,