Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. proper URL;
  2. VSCode extension for official Isabelle release;
  3. auto update;
  4. simplified README: this is for development version;
Changeset 66599:34b20f7236ea by wenzelm:
proper URL;
The file was modified NEWS (diff)
Changeset 66598:e2671e8c476f by wenzelm:
VSCode extension for official Isabelle release;
The file was modified Admin/Release/CHECKLIST (diff)
The file was modified src/Tools/VSCode/extension/README.md (diff)
The file was modified src/Tools/VSCode/extension/package.json (diff)
Changeset 66597:53dcc7454221 by wenzelm:
auto update;
The file was modified src/Tools/VSCode/extension/package.json (diff)
Changeset 66596:c5bd8267d832 by wenzelm:
simplified README: this is for development version;
The file was modified src/Tools/VSCode/README.md (diff)