Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. more portable;
  2. build both arm64-darwin and x86_64-darwin on Apple ARM hardware; tuned messages;
  3. unused;
  4. tuned message;
  5. more items;
  6. more robust: do not assume Bash syntax while testing for it;
  7. obsolete;
  8. merged
  9. proper treatment of complex multi-line script;
  10. more robust;
  11. more robust: Bash.string operations require remote bash;
  12. support port forwarding without multiplexing (for the sake of Windows);
  13. misc tuning and clarification; proper shutdown_hook;
  14. clarified signature;
  15. clarified signature;
  16. clarified signature;
  17. More on division concerning gauss numbers.
Changeset 76159:361cfb8e3648 by wenzelm:
more portable;
The file was modified src/Pure/General/ssh.scala (diff)
Changeset 76158:0302bdf63a08 by wenzelm:
build both arm64-darwin and x86_64-darwin on Apple ARM hardware;<br>tuned messages;
The file was modified src/Pure/Admin/build_release.scala (diff)
Changeset 76157:ff404465b20d by wenzelm:
unused;
The file was modified src/Pure/General/ssh.scala (diff)
Changeset 76156:e73025785dc7 by wenzelm:
tuned message;
The file was modified src/Pure/Admin/build_release.scala (diff)
Changeset 76155:6149f7553ea9 by wenzelm:
more items;
The file was modified ANNOUNCE (diff)
The file was modified NEWS (diff)
Changeset 76154:dfddb80fc515 by wenzelm:
more robust: do not assume Bash syntax while testing for it;
The file was modified src/Pure/General/ssh.scala (diff)
Changeset 76153:bf9f2f4069b9 by wenzelm:
obsolete;
The file was modified Admin/components/README (diff)
The file was modified Admin/cronjob/README (diff)
Changeset 76152:a95196ef33f0 by wenzelm:
merged
Changeset 76151:21492610ae5b by wenzelm:
proper treatment of complex multi-line script;
The file was modified src/Pure/General/ssh.scala (diff)
Changeset 76150:5c971c7fc807 by wenzelm:
more robust;
The file was modified src/Pure/General/ssh.scala (diff)
Changeset 76149:ccc748255342 by wenzelm:
more robust: Bash.string operations require remote bash;
The file was modified src/Pure/General/ssh.scala (diff)
Changeset 76148:769ebb139a32 by wenzelm:
support port forwarding without multiplexing (for the sake of Windows);
The file was modified etc/options (diff)
The file was modified src/Pure/General/ssh.scala (diff)
Changeset 76147:75f0fc965539 by wenzelm:
misc tuning and clarification;<br>proper shutdown_hook;
The file was modified src/Pure/General/ssh.scala (diff)
Changeset 76146:a64f3496d93a by wenzelm:
clarified signature;
The file was modified src/Pure/System/bash.scala (diff)
The file was modified src/Pure/System/isabelle_system.scala (diff)
Changeset 76145:a6bdf4b889ca by wenzelm:
clarified signature;
The file was modified src/Pure/General/ssh.scala (diff)
The file was modified src/Pure/System/isabelle_system.scala (diff)
Changeset 76144:35a279a2d246 by wenzelm:
clarified signature;
The file was modified src/Pure/General/ssh.scala (diff)
The file was modified src/Pure/System/isabelle_system.scala (diff)
Changeset 76143:e278bf6430cf by haftmann:
More on division concerning gauss numbers.
The file was addedsrc/HOL/Library/Rounded_Division.thy
The file was modified src/HOL/Examples/Gauss_Numbers.thy (diff)
The file was modified src/HOL/Library/Library.thy (diff)