Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. updated package;
  2. tuned GUI;
  3. obsolete;
Changeset 66080:066f4ba9c965 by wenzelm:
updated package;
The file was modified src/Tools/VSCode/extension/package.json (diff)
Changeset 66079:18e8d4e7ca28 by wenzelm:
tuned GUI;
The file was modified src/Tools/VSCode/extension/src/preview.ts (diff)
Changeset 66078:9a719681309e by wenzelm:
obsolete;
The file was removedsrc/Tools/VSCode/extension/isabelle-symbols.json