Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. recover platform-specific node binaries from original download, notably for node-pty for Terminal;
  2. tuned message;
  3. tuned;
  4. tuned imports;
  5. misc tuning and clarification;
  6. more executable files; clarified modules;
  7. tuned;
  8. tuned output;
  9. clarified signature;
  10. tuned, based on suggestions by IntelliJ IDEA;
  11. tuned;
  12. clarified command-line options;
  13. update official Isabelle release, notably for "Admin/init -R";
Changeset 75228:33fb3014876f by wenzelm:
recover platform-specific node binaries from original download, notably for node-pty for Terminal;
The file was modified src/Pure/Admin/build_vscodium.scala (diff)
Changeset 75227:02e596048ab3 by wenzelm:
tuned message;
The file was modified src/Pure/Admin/build_vscodium.scala (diff)
Changeset 75226:5e87e4fb68d2 by wenzelm:
tuned;
The file was modified src/Pure/Admin/build_vscodium.scala (diff)
Changeset 75225:05f677e64178 by wenzelm:
tuned imports;
The file was modified src/Pure/Admin/build_vscodium.scala (diff)
Changeset 75224:419781ac89bf by wenzelm:
misc tuning and clarification;
The file was modified src/Pure/Admin/build_vscodium.scala (diff)
The file was modified src/Tools/VSCode/src/vscode_setup.scala (diff)
Changeset 75223:8c09e1f82f81 by wenzelm:
more executable files;<br>clarified modules;
The file was modified src/Pure/Admin/build_vscodium.scala (diff)
The file was modified src/Tools/VSCode/src/vscode_setup.scala (diff)
Changeset 75222:aef3926eb6ce by wenzelm:
tuned;
The file was modified src/Pure/Admin/build_vscodium.scala (diff)
Changeset 75221:ea65e18c5614 by wenzelm:
tuned output;
The file was modified src/Pure/Admin/build_jedit.scala (diff)
Changeset 75220:1cbdf9cfc94b by wenzelm:
clarified signature;
The file was modified src/Pure/Admin/build_jedit.scala (diff)
The file was modified src/Pure/General/path.scala (diff)
The file was modified src/Pure/System/isabelle_system.scala (diff)
Changeset 75219:6d1b64d76b57 by wenzelm:
tuned, based on suggestions by IntelliJ IDEA;
The file was modified src/Pure/System/isabelle_system.scala (diff)
Changeset 75218:05a2586ec89a by wenzelm:
tuned;
The file was modified src/Pure/System/isabelle_system.scala (diff)
Changeset 75217:6e7b3492d7df by wenzelm:
clarified command-line options;
The file was modified src/Pure/Admin/build_vscodium.scala (diff)
Changeset 75216:e2b5f8b7507a by wenzelm:
update official Isabelle release, notably for &quot;Admin/init -R&quot;;
The file was modified Admin/Release/official (diff)