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,