NEWS
changeset 66474 3ff851a8cb4b
parent 66473 5928c6cc780f
child 66480 4b8d1df8933b
     1.1 --- a/NEWS	Mon Aug 21 16:58:51 2017 +0200
     1.2 +++ b/NEWS	Mon Aug 21 17:14:59 2017 +0200
     1.3 @@ -263,6 +263,15 @@
     1.4  
     1.5  *** System ***
     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  * System option "parallel_proofs" is 1 by default (instead of more
    1.17  aggressive 2). This requires less heap space and avoids burning parallel
    1.18  CPU cycles, while full subproof parallelization is enabled for repeated
    1.19 @@ -282,15 +291,6 @@
    1.20  is analogous to ISABELLE_PLATFORM, ISABELLE_PLATFORM32,
    1.21  ISABELLE_PLATFORM64.
    1.22  
    1.23 -* Isabelle/Scala: the SQL module supports access to relational
    1.24 -databases, either as plain file (SQLite) or full-scale server
    1.25 -(PostgreSQL via local port or remote ssh connection).
    1.26 -
    1.27 -* Results of "isabelle build" are recorded as SQLite database (i.e.
    1.28 -"Application File Format" in the sense of
    1.29 -https://www.sqlite.org/appfileformat.html). This allows systematic
    1.30 -access via operations from module Sessions.Store in Isabelle/Scala.
    1.31 -
    1.32  * Command-line tool "isabelle vscode_server" provides a Language Server
    1.33  Protocol implementation, e.g. for the Visual Studio Code editor. It
    1.34  serves as example for alternative PIDE front-ends.