Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. clarified screenshot;
  2. NEWS;
Changeset 66239:b565a39627bb by wenzelm:
clarified screenshot;
The file was modified src/Tools/VSCode/extension/isabelle_vscode.png (diff)
Changeset 66238:88b8ef0b17fd by wenzelm:
NEWS;
The file was modified NEWS (diff)