NEWS;
authorwenzelm
Fri Jun 30 21:19:13 2017 +0200 (23 months ago)
changeset 6623888b8ef0b17fd
parent 66237 93eac3bdf3f9
child 66239 b565a39627bb
NEWS;
NEWS
     1.1 --- a/NEWS	Fri Jun 30 16:28:06 2017 +0200
     1.2 +++ b/NEWS	Fri Jun 30 21:19:13 2017 +0200
     1.3 @@ -9,6 +9,19 @@
     1.4  
     1.5  *** General ***
     1.6  
     1.7 +* Experimental support for Visual Studio Code (VSCode) as alternative
     1.8 +Isabelle/PIDE front-end, see also
     1.9 +https://marketplace.visualstudio.com/items?itemName=makarius.isabelle
    1.10 +
    1.11 +VSCode is a new type of application that continues the concepts of
    1.12 +"programmer's editor" and "integrated development environment" towards
    1.13 +fully semantic editing and debugging -- in a relatively light-weight
    1.14 +manner. Thus it fits nicely on top of the Isabelle/PIDE infrastructure.
    1.15 +Technically, VSCode is based on the Electron application framework
    1.16 +(Node.js + Chromium browser + V8), which is implemented in JavaScript
    1.17 +and TypeScript, while Isabelle/VSCode mainly consists of Isabelle/Scala
    1.18 +modules around a Language Server implementation.
    1.19 +
    1.20  * Theory names are qualified by the session name that they belong to.
    1.21  This affects imports, but not the theory name space prefix: it remains
    1.22  the theory base name as before. In order to import theories from other