--- a/NEWS Thu Sep 12 13:39:04 2019 +0200
+++ b/NEWS Thu Sep 12 14:22:47 2019 +0200
@@ -85,6 +85,11 @@
*** System ***
+* The command-line tool "isabelle imports" has been discontinued: strict
+checking of session directories enforces session-qualified theory names
+in applications -- users are responsible to specify session ROOT entries
+properly.
+
* Theory export via Isabelle/Scala has been reworked. The former "fact"
name space is now split into individual "thm" items: names are
potentially indexed, such as "foo" for singleton facts, or "bar(1)",