*** General ***
* Experimental support for Visual Studio Code (VSCode) as alternative
Isabelle/PIDE front-end, see also
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
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.
isabelle-dev mailing list