Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. more robust;
  2. build component for VSCodium (cross-compiled from sources for all platforms);
  3. tuned signature: more robust operation;
  4. clarified order;
  5. proper antiquotations (amending ff784d5a5bfb);
Changeset 75215:1129e82dc1ec by wenzelm:
more robust;
The file was modified src/Tools/VSCode/src/vscode_setup.scala (diff)
Changeset 75214:a51a0a704854 by wenzelm:
build component for VSCodium (cross-compiled from sources for all platforms);
The file was addedsrc/Pure/Admin/build_vscodium.scala
The file was modified etc/build.props (diff)
The file was modified src/Pure/System/isabelle_tool.scala (diff)
The file was modified src/Tools/VSCode/src/vscode_setup.scala (diff)
Changeset 75213:e3475e1d5094 by wenzelm:
tuned signature: more robust operation;
The file was modified src/Pure/General/file.scala (diff)
Changeset 75212:7870cdaa3f1f by wenzelm:
clarified order;
The file was modified src/Pure/System/platform.scala (diff)
Changeset 75211:64829c7ab0e7 by wenzelm:
proper antiquotations (amending ff784d5a5bfb);
The file was modified src/Doc/Isar_Ref/Inner_Syntax.thy (diff)
The file was modified src/Doc/Isar_Ref/Outer_Syntax.thy (diff)