diff -r 328de89f20f9 -r 766a07ff7a07 NEWS
--- a/NEWS	Sun May 04 12:18:27 2025 +0100
+++ b/NEWS	Sun May 04 15:05:51 2025 +0200
@@ -59,6 +59,12 @@
 not available as SVG.
 
 
+*** Pure ***
+
+* Command 'thy_deps' expects optional theory arguments as long theory names,
+the same way as the 'imports' clause. Minor INCOMPATIBILITY.
+
+
 *** HOL ***
 
 * Normalization by evaluation (method "normalization", command value) could