Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. tuned whitespace;
  2. prefer static object, while class is required for "services" (see 47eb96592aa2);
  3. clarified directories; clarified names;
  4. tuned signature;
  5. tuned: prefer explicit update operation for immutable options;
  6. tuned message;
  7. more robust type, with explicit default;
  8. tuned usage message;
  9. clarified signature;
  10. more robust defaults;
  11. merged
  12. added lemmas relpow_trans[trans] and relpowp_trans[trans]
  13. more on disjunctive addition/subtraction
Changeset 79622:e413c94b192a by wenzelm:
tuned whitespace;
The file was modified src/Pure/Build/build.scala (diff)
Changeset 79621:7697037f1e24 by wenzelm:
prefer static object, while class is required for "services" (see 47eb96592aa2);
The file was modified src/Pure/Build/build.scala (diff)
The file was modified src/Pure/Build/build_benchmark.scala (diff)
Changeset 79620:3914bca631b9 by wenzelm:
clarified directories;<br>clarified names;
The file was addedsrc/Pure/Build/build_benchmark.scala
The file was modified etc/build.props (diff)
The file was modified src/Pure/Build/build_cluster.scala (diff)
The file was modified src/Pure/Build/build_schedule.scala (diff)
The file was modified src/Pure/System/isabelle_tool.scala (diff)
The file was removedsrc/Pure/System/benchmark.scala
Changeset 79619:50ec6a68d36f by wenzelm:
tuned signature;
The file was modified src/Pure/Build/build_cluster.scala (diff)
Changeset 79618:50376abd132d by wenzelm:
tuned: prefer explicit update operation for immutable options;
The file was modified src/Pure/Build/build_schedule.scala (diff)
The file was modified src/Pure/System/benchmark.scala (diff)
The file was modified src/Pure/System/host.scala (diff)
The file was modified src/Tools/VSCode/src/language_server.scala (diff)
Changeset 79617:cdb51c7225ad by wenzelm:
tuned message;
The file was modified src/Pure/System/benchmark.scala (diff)
Changeset 79616:12bb31d01510 by wenzelm:
more robust type, with explicit default;
The file was modified src/HOL/Tools/Mirabelle/mirabelle.scala (diff)
The file was modified src/Pure/Admin/build_doc.scala (diff)
The file was modified src/Pure/Admin/ci_build.scala (diff)
The file was modified src/Pure/Build/build.scala (diff)
The file was modified src/Pure/Build/build_process.scala (diff)
The file was modified src/Pure/Build/build_schedule.scala (diff)
The file was modified src/Pure/Tools/profiling.scala (diff)
The file was modified src/Pure/Tools/update.scala (diff)
Changeset 79615:a01f4cf202fd by wenzelm:
tuned usage message;
The file was modified src/Doc/System/Sessions.thy (diff)
The file was modified src/Pure/Build/build.scala (diff)
The file was modified src/Pure/Build/build_schedule.scala (diff)
Changeset 79614:58c0636e0ef5 by wenzelm:
clarified signature;
The file was modified src/Pure/Build/build.scala (diff)
The file was modified src/Pure/Build/build_schedule.scala (diff)
Changeset 79613:7a432595fb66 by wenzelm:
more robust defaults;
The file was modified src/Pure/Concurrent/multithreading.ML (diff)
The file was modified src/Pure/Concurrent/multithreading.scala (diff)
Changeset 79612:8836386d6e3f by desharna:
merged
Changeset 79611:97612262718a by desharna:
added lemmas relpow_trans[trans] and relpowp_trans[trans]
The file was modified NEWS (diff)
The file was modified src/HOL/Transitive_Closure.thy (diff)
Changeset 79610:ad29777e8746 by haftmann:
more on disjunctive addition/subtraction
The file was modified src/HOL/Bit_Operations.thy (diff)