Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. no pide_session on macos: avoid odd "hang" of remote_build_history;
  2. support generated preferences, i.e. non-strict system options;
  3. factored out auxiliary theory
  4. prefer explicit proof
Changeset 71999:720b72513ae5 by wenzelm:
no pide_session on macos: avoid odd "hang" of remote_build_history;
The file was modified src/Pure/Admin/isabelle_cronjob.scala (diff)
Changeset 71998:f43b08980f56 by wenzelm:
support generated preferences, i.e. non-strict system options;
The file was modified src/Pure/Admin/build_history.scala (diff)
Changeset 71997:4a013c92a091 by haftmann:
factored out auxiliary theory
The file was addedsrc/HOL/Word/Bit_Lists.thy
The file was modified src/HOL/SPARK/Examples/RIPEMD-160/F.thy (diff)
The file was modified src/HOL/SPARK/Examples/RIPEMD-160/Round.thy (diff)
The file was modified src/HOL/Word/Bits_Int.thy (diff)
The file was modified src/HOL/Word/Misc_Arithmetic.thy (diff)
The file was modified src/HOL/Word/Misc_Auxiliary.thy (diff)
The file was modified src/HOL/Word/More_Word.thy (diff)
The file was modified src/HOL/Word/Word.thy (diff)
The file was modified src/HOL/Word/Word_Examples.thy (diff)
Changeset 71996:c7ac6d4f3914 by haftmann:
prefer explicit proof
The file was modified src/HOL/Word/Word.thy (diff)