diff -r 048aa6ea3d32 -r bb70dc05cd38 NEWS
--- a/NEWS	Sun Jan 08 19:35:14 2017 +0100
+++ b/NEWS	Mon Jan 09 00:08:18 2017 +0100
@@ -69,6 +69,16 @@
   bij_swap_ompose_bij ~> bij_swap_compose_bij
 
 
+*** 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.
+
+
 New in Isabelle2016-1 (December 2016)
 -------------------------------------