Skip to content
Jenkins
log in
Dashboard
isabelle-repo
#633
Changes
Status
Changes
Console Output
View Build Information
Polling Log
Timings
Environment Variables
Mercurial Build Data
Embeddable Build Status
Previous Build
Next Build
Success
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)