# 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,