NEWS
changeset 65841 82add6bf8a42
parent 65728 1019be449dbd
child 65956 639eb3617a86
     1.1 --- a/NEWS	Mon May 15 14:27:14 2017 +0200
     1.2 +++ b/NEWS	Mon May 15 17:05:52 2017 +0200
     1.3 @@ -210,6 +210,14 @@
     1.4    isabelle imports -U -a
     1.5    isabelle imports -M -a -d '~~/src/Benchmarks'
     1.6  
     1.7 +* Isabelle/Scala: the SQL module supports access to relational
     1.8 +databases, either as plain file (SQLite) or full-scale server
     1.9 +(PostgreSQL via local port or remote ssh connection).
    1.10 +
    1.11 +* Results of "isabelle build" are recorded as SQLite database (i.e.
    1.12 +"Application File Format" in the sense of
    1.13 +https://www.sqlite.org/appfileformat.html). This allows systematic
    1.14 +access via operations from module Sessions.Store in Isabelle/Scala.
    1.15  
    1.16  
    1.17  New in Isabelle2016-1 (December 2016)