[isabelle-dev] NEWS: Isabelle/VSCode

[Makarius]

*** 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.


This refers to Isabelle/8f39d60b943d. The marketplace link above also
shows a screenshot.

I am interested to hear if anybody manages to run the application:
presently it lacks the all-inclusive application bundling of Isabelle/jEdit.


	Makarius