Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. merged
  2. improved support for Java Chromium Embedded Framework (JCEF): works on x86_64-linux and x86_64-windows with jdk-15 (not jdk-17), does not work on arm64 and darwin;
  3. one new lemma
  4. clarified options;
  5. clarified options;
  6. clarified directory;
  7. tuned whitespace;
  8. prefer strict equality, without implicit type conversion;
  9. tuned;
  10. auto-update by VSCode;
  11. more activationEvents, as proposed by Denis Paluca;
  12. tuned message;
  13. NEWS;
  14. run Isabelle/VSCode using local VSCodium installation;
  15. provide macos_exe, based on bin/codium from linux;
  16. clarified options;
Changeset 75103:a29d49a636ed by wenzelm:
merged
Changeset 75102:678fae02f9b3 by wenzelm:
improved support for Java Chromium Embedded Framework (JCEF): works on x86_64-linux and x86_64-windows with jdk-15 (not jdk-17), does not work on arm64 and darwin;
The file was modified src/Pure/Admin/build_jcef.scala (diff)
Changeset 75101:f0e2023f361a by paulson _lp15@cam.ac.uk_:
one new lemma
The file was modified src/HOL/Set_Interval.thy (diff)
Changeset 75100:6eff5c260381 by wenzelm:
clarified options;
The file was modified src/Tools/VSCode/src/vscode_setup.scala (diff)
Changeset 75099:b5a9315578f8 by wenzelm:
clarified options;
The file was modified src/Tools/VSCode/src/vscode_setup.scala (diff)
Changeset 75098:9e79c9f55edd by wenzelm:
clarified directory;
The file was modified lib/Tools/vscode (diff)
Changeset 75097:7001ae6c0832 by wenzelm:
tuned whitespace;
The file was modified src/Tools/jEdit/src/keymap_merge.scala (diff)
Changeset 75096:37bd912c8765 by wenzelm:
prefer strict equality, without implicit type conversion;
The file was modified src/Tools/VSCode/extension/src/state_panel.ts (diff)
The file was modified src/Tools/VSCode/extension/src/symbol.ts (diff)
Changeset 75095:faa24820fba1 by wenzelm:
tuned;
The file was modified src/Tools/VSCode/extension/src/preview_panel.ts (diff)
Changeset 75094:81a858c3cb5b by wenzelm:
auto-update by VSCode;
The file was modified src/Tools/VSCode/extension/.vscode/tasks.json (diff)
Changeset 75093:7e2401d17bf8 by wenzelm:
more activationEvents, as proposed by Denis Paluca;
The file was modified src/Tools/VSCode/extension/package.json (diff)
Changeset 75092:cdc2838f7536 by wenzelm:
tuned message;
The file was modified src/Tools/VSCode/src/vscode_setup.scala (diff)
Changeset 75091:445ec26fe47f by wenzelm:
NEWS;
The file was modified NEWS (diff)
Changeset 75090:2af8426e1f65 by wenzelm:
run Isabelle/VSCode using local VSCodium installation;
The file was addedlib/Tools/vscode
Changeset 75089:1e230ff31fb0 by wenzelm:
provide macos_exe, based on bin/codium from linux;
The file was modified src/Tools/VSCode/src/vscode_setup.scala (diff)
Changeset 75088:32ebb38154e7 by wenzelm:
clarified options;
The file was modified src/Tools/VSCode/src/vscode_setup.scala (diff)