NEWS
changeset 66473 5928c6cc780f
parent 66472 1b7d66d62035
child 66474 3ff851a8cb4b
     1.1 --- a/NEWS	Mon Aug 21 16:55:26 2017 +0200
     1.2 +++ b/NEWS	Mon Aug 21 16:58:51 2017 +0200
     1.3 @@ -263,13 +263,6 @@
     1.4  
     1.5  *** System ***
     1.6  
     1.7 -* Prover IDE support for the Visual Studio Code editor and language
     1.8 -server protocol, via the "isabelle vscode_server" tool (see also
     1.9 -src/Tools/VSCode/README.md). The example application within the VS code
    1.10 -editor is called "Isabelle" and available from its online repository
    1.11 -(the "Marketplace"). It serves as example for further potential IDE
    1.12 -front-ends.
    1.13 -
    1.14  * System option "parallel_proofs" is 1 by default (instead of more
    1.15  aggressive 2). This requires less heap space and avoids burning parallel
    1.16  CPU cycles, while full subproof parallelization is enabled for repeated
    1.17 @@ -298,6 +291,10 @@
    1.18  https://www.sqlite.org/appfileformat.html). This allows systematic
    1.19  access via operations from module Sessions.Store in Isabelle/Scala.
    1.20  
    1.21 +* Command-line tool "isabelle vscode_server" provides a Language Server
    1.22 +Protocol implementation, e.g. for the Visual Studio Code editor. It
    1.23 +serves as example for alternative PIDE front-ends.
    1.24 +
    1.25  * Command-line tool "isabelle imports" helps to maintain theory imports
    1.26  wrt. session structure. Examples:
    1.27