[isabelle-dev] NEWS: Prover IDE support for the Visual Studio Code editor and protocol

[Makarius]

*** System ***

* Prover IDE support for the Visual Studio Code editor and language
server protocol, via the "isabelle vscode_server" tool (see also
src/Tools/VSCode/README.md). The example application within the VS code
editor is called "Isabelle" and available from its online repository
(the "Marketplace"). It serves as example for further potential IDE
front-ends.


This refers to Isabelle/bb70dc05cd38. It is just a snapshot of ongoing
work towards more general PIDE support in local and remote applications.

The underlying project by MicroSoft follows the slogan "Code. Editing.
Redefined." (see https://code.visualstudio.com). That is interesting in
many respects: MS has become just another open-source company; it has
recently joined the Linux foundation as Platinum member.

Here the "code" editor serves as demo application for PIDE add-on protocols.


	Makarius