Summary
- proper packaging;
- generate uuid;
- generate static TextMate grammar for VSCode editor;
- proper default;
- clarified file name;
- tuned;
The file was modified | src/Tools/VSCode/README.md (diff) |
The file was modified | src/Tools/VSCode/src/grammar.scala (diff) |
The file was added | src/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) |
The file was modified | src/Tools/VSCode/src/server.scala (diff) |
The file was added | src/Tools/VSCode/extension/isabelle-language.json |
The file was modified | src/Tools/VSCode/extension/package.json (diff) |
The file was removed | src/Tools/VSCode/extension/language-configuration.json |
The file was modified | src/Tools/VSCode/extension/package.json (diff) |
The file was modified | src/Tools/VSCode/extension/src/extension.ts (diff) |