--- a/NEWS Thu Aug 17 18:19:16 2017 +0200
+++ b/NEWS Thu Aug 17 21:12:55 2017 +0200
@@ -277,6 +277,7 @@
isabelle imports -I -a
isabelle imports -U -a
+ isabelle imports -U -i -a
isabelle imports -M -a -d '~~/src/Benchmarks'
* Isabelle/Scala: the SQL module supports access to relational