Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. proper packaging;
  2. generate uuid;
  3. generate static TextMate grammar for VSCode editor;
  4. proper default;
  5. clarified file name;
  6. tuned;
Changeset 64740:01af31db2720 by wenzelm:
proper packaging;
The file was modified src/Tools/VSCode/README.md (diff)
Changeset 64739:3224021893c0 by wenzelm:
generate uuid;
The file was modified src/Tools/VSCode/src/grammar.scala (diff)
Changeset 64738:bcdecd466cb2 by wenzelm:
generate static TextMate grammar for VSCode editor;
The file was addedsrc/Tools/VSCode/src/grammar.scala
The file was modified src/Pure/System/isabelle_tool.scala (diff)
The file was modified src/Pure/Tools/build.scala (diff)
The file was modified src/Pure/build-jars (diff)
The file was modified src/Tools/VSCode/extension/package.json (diff)
Changeset 64737:9fc965612459 by wenzelm:
proper default;
The file was modified src/Tools/VSCode/src/server.scala (diff)
Changeset 64736:07bf45283b92 by wenzelm:
clarified file name;
The file was addedsrc/Tools/VSCode/extension/isabelle-language.json
The file was modified src/Tools/VSCode/extension/package.json (diff)
The file was removedsrc/Tools/VSCode/extension/language-configuration.json
Changeset 64735:4ad6d21545bd by wenzelm:
tuned;
The file was modified src/Tools/VSCode/extension/package.json (diff)
The file was modified src/Tools/VSCode/extension/src/extension.ts (diff)