Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. tuned signature;
  2. updated user + host;
  3. updated URL;
  4. clarified multicore options;
  5. discontinued old machines;
  6. updated tests for macOS 10.14 Mojave;
  7. Aded Queues
  8. consolidated for the sake of documentation
  9. tuned;
Changeset 72395:5fac6c50e6d5 by wenzelm:
tuned signature;
The file was modified src/Pure/Admin/build_e.scala (diff)
Changeset 72394:9302fd538ae4 by wenzelm:
updated user + host;
The file was addedAdmin/cronjob/crontab.lxcisa0
The file was modified Admin/cronjob/README (diff)
The file was removedAdmin/cronjob/crontab.lxbroy5
Changeset 72393:b8f25ceac57f by wenzelm:
updated URL;
The file was modified Admin/cronjob/plain_identify (diff)
Changeset 72392:2bbc7365e8c4 by wenzelm:
clarified multicore options;
The file was modified src/Pure/Admin/isabelle_cronjob.scala (diff)
Changeset 72391:37c1fbcc88d0 by wenzelm:
discontinued old machines;
The file was modified src/Pure/Admin/isabelle_cronjob.scala (diff)
Changeset 72390:ed95980cf198 by wenzelm:
updated tests for macOS 10.14 Mojave;
The file was modified Admin/PLATFORMS (diff)
The file was modified src/Pure/Admin/isabelle_cronjob.scala (diff)
Changeset 72389:3d255ebe9733 by nipkow:
Aded Queues
The file was addedsrc/HOL/Data_Structures/Queue_2Lists.thy
The file was addedsrc/HOL/Data_Structures/Queue_Spec.thy
The file was modified src/HOL/ROOT (diff)
Changeset 72388:633d14bd1e59 by haftmann:
consolidated for the sake of documentation
The file was modified NEWS (diff)
The file was modified src/HOL/Word/Misc_msb.thy (diff)
The file was modified src/HOL/Word/More_Word.thy (diff)
The file was modified src/HOL/Word/Reversed_Bit_Lists.thy (diff)
The file was modified src/HOL/Word/Word.thy (diff)
Changeset 72387:04be6716cac6 by wenzelm:
tuned;
The file was modified src/Pure/Admin/build_release.scala (diff)