changeset 66473 5928c6cc780f
parent 66472 1b7d66d62035
child 66474 3ff851a8cb4b
--- 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/ 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
 * 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 @@ 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: