Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. updated package;
  2. provide --baseImagesUrl for VSCode extensions marketplace;
  3. tuned;
  4. updated package;
  5. tuned;
  6. added screenshot;
Changeset 66229:d3b6e5e47015 by wenzelm:
updated package;
The file was modified src/Tools/VSCode/extension/package.json (diff)
Changeset 66228:5707cfb531ee by wenzelm:
provide --baseImagesUrl for VSCode extensions marketplace;
The file was modified src/Tools/VSCode/src/build_vscode.scala (diff)
Changeset 66227:7470985f3fb6 by wenzelm:
tuned;
The file was modified src/Tools/VSCode/extension/README.md (diff)
Changeset 66226:22b8bbbc3e99 by wenzelm:
updated package;
The file was modified src/Tools/VSCode/extension/package.json (diff)
Changeset 66225:b1e5079f1d49 by wenzelm:
tuned;
The file was modified src/Tools/VSCode/extension/package.json (diff)
Changeset 66224:9fe05edaa351 by wenzelm:
added screenshot;
The file was addedsrc/Tools/VSCode/extension/isabelle_vscode.png
The file was modified src/Tools/VSCode/extension/README.md (diff)