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;
  7. more configuration;
  8. automatically build session image;
  9. tuned signature;
  10. just one synchronized access to global state: works recursively on JVM; tuned;
  11. clarified modules;
  12. clarified file URI operations;
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)
Changeset 64734:12558536d977 by wenzelm:
more configuration;
The file was modified src/Tools/VSCode/extension/package.json (diff)
The file was modified src/Tools/VSCode/extension/src/extension.ts (diff)
Changeset 64733:20174e871623 by wenzelm:
automatically build session image;
The file was modified src/Tools/VSCode/README.md (diff)
The file was modified src/Tools/VSCode/src/channel.scala (diff)
The file was modified src/Tools/VSCode/src/server.scala (diff)
Changeset 64732:00f3c4bef2e0 by wenzelm:
tuned signature;
The file was modified src/Pure/Tools/build.scala (diff)
The file was modified src/Tools/jEdit/src/jedit_sessions.scala (diff)
Changeset 64731:84192ecae582 by wenzelm:
just one synchronized access to global state: works recursively on JVM;<br>tuned;
The file was modified src/Tools/VSCode/src/vscode_resources.scala (diff)
Changeset 64730:76996d915894 by wenzelm:
clarified modules;
The file was modified src/Pure/General/file.scala (diff)
The file was modified src/Pure/General/url.scala (diff)
The file was modified src/Tools/VSCode/src/vscode_rendering.scala (diff)
The file was modified src/Tools/jEdit/src/jedit_lib.scala (diff)
Changeset 64729:4eccd9bc5fd9 by wenzelm:
clarified file URI operations;
The file was modified src/Pure/General/url.scala (diff)
The file was modified src/Tools/VSCode/src/document_model.scala (diff)
The file was modified src/Tools/VSCode/src/vscode_resources.scala (diff)