# HG changeset patch
# User wenzelm
# Date 1503327531 -7200
# Node ID 5928c6cc780fdc2a06cd3c0a70ba64192bef4591
# Parent  1b7d66d62035f708046773c1444f361f912d7b69
tuned;

diff -r 1b7d66d62035 -r 5928c6cc780f NEWS
--- a/NEWS	Mon Aug 21 16:55:26 2017 +0200
+++ b/NEWS	Mon Aug 21 16:58:51 2017 +0200
@@ -263,13 +263,6 @@
 
 *** System ***
 
-* Prover IDE support for the Visual Studio Code editor and language
-server protocol, via the "isabelle vscode_server" tool (see also
-src/Tools/VSCode/README.md). The example application within the VS code
-editor is called "Isabelle" and available from its online repository
-(the "Marketplace"). It serves as example for further potential IDE
-front-ends.
-
 * System option "parallel_proofs" is 1 by default (instead of more
 aggressive 2). This requires less heap space and avoids burning parallel
 CPU cycles, while full subproof parallelization is enabled for repeated
@@ -298,6 +291,10 @@
 https://www.sqlite.org/appfileformat.html). This allows systematic
 access via operations from module Sessions.Store in Isabelle/Scala.
 
+* Command-line tool "isabelle vscode_server" provides a Language Server
+Protocol implementation, e.g. for the Visual Studio Code editor. It
+serves as example for alternative PIDE front-ends.
+
 * Command-line tool "isabelle imports" helps to maintain theory imports
 wrt. session structure. Examples: