*** Prover IDE -- Isabelle/Scala/jEdit ***
* The PIDE document model maintains file content independently of the
status of jEdit editor buffers. Reloading jEdit buffers no longer causes
changes of formal document content. Theory dependencies are always
resolved internally, without the need for
*** 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