NEWS;
authorwenzelm
Fri, 30 Jun 2017 21:19:13 +0200
changeset 66238 88b8ef0b17fd
parent 66237 93eac3bdf3f9
child 66239 b565a39627bb
NEWS;
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