NEWS

--- a/NEWS	Mon Nov 25 13:28:31 2019 +0100
+++ b/NEWS	Tue Nov 26 08:09:44 2019 +0100
@@ -43,7 +43,8 @@
 and may thus improve scalability.
 
 * New attribute "trace_locales" for tracing activation of locale
-instances during roundup.
+instances during roundup.  It replaces the diagnostic command
+'print_dependencies', which was removed.
 
 
 *** Isabelle/jEdit Prover IDE ***