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;
  7. clarified;
  8. updated package;
  9. tuned;
  10. tuned output;
  11. tuned spelling;
  12. more documentation;
  13. auto update;
  14. clarified editor focus;
  15. proper hyperlink_command, notably for locate_query; support bidirectional caret update;
  16. tuned signature;
  17. proper dynamic controls, notably for auto_update_enabled;
  18. tuned signature;
  19. HTML GUI actions via JavaScript;
  20. more operations/options;
  21. clarified signature;
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)
Changeset 66223:a6fdb22b0ce2 by wenzelm:
clarified;
The file was modified src/Tools/VSCode/extension/README.md (diff)
Changeset 66222:186069cfb9ba by wenzelm:
updated package;
The file was modified src/Tools/VSCode/extension/package.json (diff)
Changeset 66221:e6b7edd12f05 by wenzelm:
tuned;
The file was modified src/Tools/VSCode/extension/README.md (diff)
Changeset 66220:68671cc5d40a by wenzelm:
tuned output;
The file was modified src/Tools/VSCode/src/preview_panel.scala (diff)
Changeset 66219:f037cdaa5ca0 by wenzelm:
tuned spelling;
The file was modified src/Tools/VSCode/src/vscode_javascript.scala (diff)
Changeset 66218:a30bf1c755c1 by wenzelm:
more documentation;
The file was modified src/Tools/VSCode/extension/README.md (diff)
Changeset 66217:534ef013d169 by wenzelm:
auto update;
The file was modified src/Tools/VSCode/extension/package.json (diff)
Changeset 66216:d4949bae0bad by wenzelm:
clarified editor focus;
The file was modified src/Tools/VSCode/extension/src/extension.ts (diff)
The file was modified src/Tools/VSCode/extension/src/protocol.ts (diff)
The file was modified src/Tools/VSCode/src/protocol.scala (diff)
The file was modified src/Tools/VSCode/src/server.scala (diff)
Changeset 66215:9a8b6b86350c by wenzelm:
proper hyperlink_command, notably for locate_query;<br>support bidirectional caret update;
The file was modified src/Tools/VSCode/extension/src/extension.ts (diff)
The file was modified src/Tools/VSCode/extension/src/library.ts (diff)
The file was modified src/Tools/VSCode/src/protocol.scala (diff)
The file was modified src/Tools/VSCode/src/server.scala (diff)
Changeset 66214:eec1c99e1bdc by wenzelm:
tuned signature;
The file was modified src/Tools/VSCode/extension/src/library.ts (diff)
The file was modified src/Tools/VSCode/extension/src/preview_panel.ts (diff)
Changeset 66213:9380ec9babfb by wenzelm:
proper dynamic controls, notably for auto_update_enabled;
The file was modified src/Tools/VSCode/src/state_panel.scala (diff)
Changeset 66212:f41396c15bb1 by wenzelm:
tuned signature;
The file was modified src/Pure/Thy/html.scala (diff)
The file was modified src/Tools/VSCode/src/preview_panel.scala (diff)
The file was modified src/Tools/VSCode/src/state_panel.scala (diff)
Changeset 66211:100c9c997e2b by wenzelm:
HTML GUI actions via JavaScript;
The file was addedsrc/Tools/VSCode/src/vscode_javascript.scala
The file was modified src/Pure/build-jars (diff)
The file was modified src/Tools/VSCode/extension/src/extension.ts (diff)
The file was modified src/Tools/VSCode/extension/src/protocol.ts (diff)
The file was modified src/Tools/VSCode/extension/src/state_panel.ts (diff)
The file was modified src/Tools/VSCode/src/protocol.scala (diff)
The file was modified src/Tools/VSCode/src/server.scala (diff)
The file was modified src/Tools/VSCode/src/state_panel.scala (diff)
Changeset 66210:a8b936749300 by wenzelm:
more operations/options;
The file was modified src/Pure/Thy/html.scala (diff)
Changeset 66209:3a4dfe10ab1a by wenzelm:
clarified signature;
The file was modified src/Pure/Thy/html.scala (diff)