Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. tuned signature;
  2. provide Isabelle/Electron test;
Changeset 75454:295e1c9d2994 by wenzelm:
tuned signature;
The file was modified src/Pure/Tools/build_job.scala (diff)
The file was modified src/Tools/VSCode/src/vscode_main.scala (diff)
Changeset 75453:e2aa3c1f90a1 by wenzelm:
provide Isabelle/Electron test;
The file was addedsrc/Tools/Electron/test/main.js
The file was addedsrc/Tools/Electron/test/package.json
The file was modified NEWS (diff)