Skip to content
[Jenkins]Jenkins
log in
Failed

Changes

Changes from Mercurial (hg https://isabelle.in.tum.de/repos/isabelle/ default)

Summary

  1. tuned proof: avoid smt/z3 to make this work with arm64-linux;
  2. proper afp_directory (amending 9308bc5f65d6);
  3. clarified names;
  4. clarified name: avoid clash with Library.Update;
  5. clarified signature;
  6. tuned whitespace;
  7. clarified signature;
Changeset 80276:360e6217cda6 by wenzelm:
tuned proof: avoid smt/z3 to make this work with arm64-linux;
The file was modified src/HOL/Binomial_Plus.thy
Changeset 80275:c631a44e9f13 by wenzelm:
proper afp_directory (amending 9308bc5f65d6);
The file was modified src/Pure/Admin/build_history.scala
Changeset 80274:cff00b3dddf5 by wenzelm:
clarified names;
The file was addedsrc/Pure/update.scala
The file was modified etc/build.props
The file was modified src/Pure/Build/build_manager.scala
The file was modified src/Pure/Build/build_process.scala
The file was modified src/Pure/Build/build_schedule.scala
The file was modified src/Pure/library.scala
Changeset 80273:f55a11cd3b71 by wenzelm:
clarified name: avoid clash with Library.Update;
The file was addedsrc/Pure/Tools/update_tool.scala
The file was modified etc/build.props
The file was modified src/Pure/System/isabelle_tool.scala
The file was removedsrc/Pure/Tools/update.scala
Changeset 80272:9f89b3c41460 by wenzelm:
clarified signature;
The file was modified src/Pure/Build/build_manager.scala
The file was modified src/Pure/Build/build_process.scala
The file was modified src/Pure/library.scala
The file was modified src/Pure/name.scala
Changeset 80271:198fc882ec0f by wenzelm:
tuned whitespace;
The file was modified src/Pure/Build/build_manager.scala
The file was modified src/Pure/System/bash.scala
Changeset 80270:1d4300506338 by wenzelm:
clarified signature;
The file was addedsrc/Pure/name.scala
The file was modified etc/build.props
The file was modified src/Pure/Build/build_job.scala
The file was modified src/Pure/Build/build_manager.scala
The file was modified src/Pure/Build/build_process.scala
The file was modified src/Pure/library.scala