Changes

Summary

clarified modules;
basic support for VSCode Language Server protocol; minimal extension for VSCode editor;

Changeset 64606:a871fa7c24fc by wenzelm: clarified modules;
The file was added	`src/Pure/General/logger.scala`
The file was modified	`src/Pure/build-jars` (diff)
The file was removed	`src/Tools/VSCode/src/logger.scala`
Changeset 64605:9c1173a7e4cb by wenzelm: basic support for VSCode Language Server protocol;<br>minimal extension for VSCode editor;
The file was added	`src/Tools/VSCode/README.md`
The file was added	`src/Tools/VSCode/extension/.vscode/launch.json`
The file was added	`src/Tools/VSCode/extension/.vscode/settings.json`
The file was added	`src/Tools/VSCode/extension/.vscode/tasks.json`
The file was added	`src/Tools/VSCode/extension/.vscodeignore`
The file was added	`src/Tools/VSCode/extension/README.md`
The file was added	`src/Tools/VSCode/extension/isabelle.png`
The file was added	`src/Tools/VSCode/extension/language-configuration.json`
The file was added	`src/Tools/VSCode/extension/package.json`
The file was added	`src/Tools/VSCode/extension/src/extension.ts`
The file was added	`src/Tools/VSCode/extension/test/extension.test.ts`
The file was added	`src/Tools/VSCode/extension/test/index.ts`
The file was added	`src/Tools/VSCode/extension/tsconfig.json`
The file was added	`src/Tools/VSCode/extension/vsc-extension-quickstart.md`
The file was added	`src/Tools/VSCode/src/channel.scala`
The file was added	`src/Tools/VSCode/src/document_model.scala`
The file was added	`src/Tools/VSCode/src/line.scala`
The file was added	`src/Tools/VSCode/src/logger.scala`
The file was added	`src/Tools/VSCode/src/protocol.scala`
The file was added	`src/Tools/VSCode/src/server.scala`
The file was added	`src/Tools/VSCode/src/uri_resources.scala`
The file was modified	`.hgignore` (diff)
The file was modified	`src/Pure/System/isabelle_tool.scala` (diff)
The file was modified	`src/Pure/build-jars` (diff)