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";
  4. tuned;
  5. fundamental_theorem_of_calculus_interior: more cleanup
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)
Changeset 66389:fa473c07d86c by wenzelm:
tuned;
The file was modified src/Tools/VSCode/src/server.scala (diff)
Changeset 66388:8e614c223000 by paulson _lp15@cam.ac.uk_:
fundamental_theorem_of_calculus_interior: more cleanup
The file was modified src/HOL/Analysis/Henstock_Kurzweil_Integration.thy (diff)