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;
  5. tuned;
  6. tuned whitespace;
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)
Changeset 66595:fa10b0f589c3 by wenzelm:
tuned;
The file was modified src/Pure/Tools/build.scala (diff)
Changeset 66594:c16ed3250de0 by wenzelm:
tuned whitespace;
The file was modified src/Pure/Tools/build.scala (diff)