[isabelle-dev] NEWS: Isabelle/VSCode
makarius at sketis.net
Sat Jul 1 19:36:39 CEST 2017
*** 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.
More information about the isabelle-dev