Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. misc tuning and modernization;
  2. auto update;
  3. prefer https for the sake of "npm run vscode:prepublish";
Changeset 66392:c1a9bcbeeec2 by wenzelm:
misc tuning and modernization;
The file was modified src/HOL/ex/Serbian.thy (diff)
Changeset 66391:77a347cf3531 by wenzelm:
auto update;
The file was modified src/Tools/VSCode/extension/package.json (diff)
Changeset 66390:21514c6e5e43 by wenzelm:
prefer https for the sake of "npm run vscode:prepublish";
The file was modified src/Tools/VSCode/extension/README.md (diff)