Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. merged
  2. support remote operations;
  3. more elementary command-line, following lib/Tools/components;
  4. clarified defaults; proper Url.append_path;
  5. more accurate options (amending 7e19dc018db9);
  6. clarified defaults;
  7. support remote download_file;
  8. more modular shell script;
  9. more uniform options for "curl", following lib/Tools/components;
  10. tuned: drop redundant "expand";
  11. tuned;
  12. added lemmas total_on_mult, total_mult, totalp_on_multp, and totalp_multp
  13. proper name for lemma totalp_on_total_on_eq
Changeset 77060:a5d3f3c07de8 by wenzelm:
merged
Changeset 77059:422c57b75b17 by wenzelm:
support remote operations;
The file was modified src/Pure/General/ssh.scala (diff)
The file was modified src/Pure/System/components.scala (diff)
Changeset 77058:44f79689115d by wenzelm:
more elementary command-line, following lib/Tools/components;
The file was modified src/Pure/System/components.scala (diff)
Changeset 77057:e233054dcb00 by wenzelm:
clarified defaults;<br>proper Url.append_path;
The file was modified src/Pure/System/components.scala (diff)
Changeset 77056:f60dd8d76515 by wenzelm:
more accurate options (amending 7e19dc018db9);
The file was modified lib/Tools/components (diff)
Changeset 77055:f56800b8b085 by wenzelm:
clarified defaults;
The file was modified src/Pure/Admin/build_history.scala (diff)
The file was modified src/Pure/Admin/build_release.scala (diff)
The file was modified src/Pure/Admin/other_isabelle.scala (diff)
The file was modified src/Pure/System/components.scala (diff)
Changeset 77054:3bb374ac31b3 by wenzelm:
support remote download_file;
The file was modified src/Pure/General/ssh.scala (diff)
Changeset 77053:c839b84ee66f by wenzelm:
more modular shell script;
The file was addedlib/scripts/download_file
The file was modified lib/Tools/components (diff)
Changeset 77052:86ace3c45837 by wenzelm:
more uniform options for &quot;curl&quot;, following lib/Tools/components;
The file was modified Admin/Windows/Cygwin/setup_server (diff)
The file was modified src/Pure/Tools/build_docker.scala (diff)
Changeset 77051:e57ba228ec24 by wenzelm:
tuned: drop redundant &quot;expand&quot;;
The file was modified src/Pure/Admin/build_history.scala (diff)
Changeset 77050:92509e4274eb by wenzelm:
tuned;
The file was modified src/Pure/Admin/other_isabelle.scala (diff)
Changeset 77049:e293216df994 by desharna:
added lemmas total_on_mult, total_mult, totalp_on_multp, and totalp_multp
The file was modified NEWS (diff)
The file was modified src/HOL/Library/Multiset.thy (diff)
Changeset 77048:1c358879bfd3 by desharna:
proper name for lemma totalp_on_total_on_eq
The file was modified NEWS (diff)
The file was modified src/HOL/Relation.thy (diff)