| changeset 70608 | d997c7ba3305 |
| parent 70605 | 048cf2096186 |
| child 70677 | 56d70f7ce4a4 |
--- a/NEWS Fri Aug 23 21:08:27 2019 +0200 +++ b/NEWS Sat Aug 24 12:03:00 2019 +0200 @@ -36,6 +36,9 @@ terms: it makes a cascade of let-expressions within the derivation tree and may thus improve scalability. +* New attribute "trace_locales" for tracing activation of locale +instances during roundup. + *** HOL ***