# HG changeset patch
# User wenzelm
# Date 1494860752 -7200
# Node ID 82add6bf8a42b4a2e0cf70e19cad46efe3830872
# Parent  8d7b2ac9a245087408e26830ef008c61986192e6
NEWS;

diff -r 8d7b2ac9a245 -r 82add6bf8a42 NEWS
--- 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)