Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. document existing Apache2 configuration;
  2. consolidated main cronjob server on virtual machine together with build_log database; eliminated special tricks for Gentoo; import plain_identify logs, export all logs for backup; run build_release, build_history_base in parallel to remote_build_history tasks;
  3. identify closer to main cronjob -- avoid diverging changeset versions;
  4. Drop rewrites after defines in interpretations.
Changeset 67767:f95a163c58bb by wenzelm:
document existing Apache2 configuration;
The file was modified Admin/Windows/Cygwin/README (diff)
Changeset 67766:603334230303 by wenzelm:
consolidated main cronjob server on virtual machine together with build_log database;<br>eliminated special tricks for Gentoo;<br>import plain_identify logs, export all logs for backup;<br>run build_release, build_history_base in parallel to remote_build_history tasks;
The file was addedAdmin/cronjob/crontab.server
The file was modified Admin/cronjob/README (diff)
The file was modified src/Pure/Admin/isabelle_cronjob.scala (diff)
The file was removedAdmin/cronjob/crontab.lxbroy10
Changeset 67765:968f6891be62 by wenzelm:
identify closer to main cronjob -- avoid diverging changeset versions;
The file was modified Admin/cronjob/crontab.lxbroy5 (diff)
Changeset 67764:0f8cb5568b63 by ballarin:
Drop rewrites after defines in interpretations.
The file was modified NEWS (diff)
The file was modified src/Doc/Isar_Ref/Spec.thy (diff)
The file was modified src/HOL/Library/FSet.thy (diff)
The file was modified src/HOL/Library/Groups_Big_Fun.thy (diff)
The file was modified src/Pure/Pure.thy (diff)