# HG changeset patch
# User wenzelm
# Date 1498850353 -7200
# Node ID 88b8ef0b17fdc71fa6010f59186b56fd9f4f53de
# Parent  93eac3bdf3f9938abc5b6b63daf249c7eb41a74b
NEWS;

diff -r 93eac3bdf3f9 -r 88b8ef0b17fd NEWS
--- a/NEWS	Fri Jun 30 16:28:06 2017 +0200
+++ b/NEWS	Fri Jun 30 21:19:13 2017 +0200
@@ -9,6 +9,19 @@
 
 *** General ***
 
+* Experimental support for Visual Studio Code (VSCode) as alternative
+Isabelle/PIDE front-end, see also
+https://marketplace.visualstudio.com/items?itemName=makarius.isabelle
+
+VSCode is a new type of application that continues the concepts of
+"programmer's editor" and "integrated development environment" towards
+fully semantic editing and debugging -- in a relatively light-weight
+manner. Thus it fits nicely on top of the Isabelle/PIDE infrastructure.
+Technically, VSCode is based on the Electron application framework
+(Node.js + Chromium browser + V8), which is implemented in JavaScript
+and TypeScript, while Isabelle/VSCode mainly consists of Isabelle/Scala
+modules around a Language Server implementation.
+
 * Theory names are qualified by the session name that they belong to.
 This affects imports, but not the theory name space prefix: it remains
 the theory base name as before. In order to import theories from other