NEWS
changeset 66449 1be102db1598
parent 66435 292680dde314
child 66450 a8299195ed82
     1.1 --- a/NEWS	Thu Aug 17 18:19:16 2017 +0200
     1.2 +++ b/NEWS	Thu Aug 17 21:12:55 2017 +0200
     1.3 @@ -277,6 +277,7 @@
     1.4  
     1.5    isabelle imports -I -a
     1.6    isabelle imports -U -a
     1.7 +  isabelle imports -U -i -a
     1.8    isabelle imports -M -a -d '~~/src/Benchmarks'
     1.9  
    1.10  * Isabelle/Scala: the SQL module supports access to relational