--- a/NEWS Mon May 15 14:27:14 2017 +0200
+++ b/NEWS Mon May 15 17:05:52 2017 +0200
@@ -210,6 +210,14 @@
isabelle imports -U -a
isabelle imports -M -a -d '~~/src/Benchmarks'
+* Isabelle/Scala: the SQL module supports access to relational
+databases, either as plain file (SQLite) or full-scale server
+(PostgreSQL via local port or remote ssh connection).
+
+* Results of "isabelle build" are recorded as SQLite database (i.e.
+"Application File Format" in the sense of
+https://www.sqlite.org/appfileformat.html). This allows systematic
+access via operations from module Sessions.Store in Isabelle/Scala.
New in Isabelle2016-1 (December 2016)