Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. merged
  2. clarified universal view: include pull_date;
  3. clarified signature: PostgreSQL manages high-volume data, SQLite only sees small snapshots;
  4. clarified database layout: pull date progression follows Isabelle only, and AFP is derived from that;
  5. redundant;
Changeset 65725:e2111fa4fb3b by wenzelm:
merged
Changeset 65724:681cdf83ce09 by wenzelm:
clarified universal view: include pull_date;
The file was modified src/Pure/Admin/build_log.scala (diff)
Changeset 65723:3ee466e89047 by wenzelm:
clarified signature: PostgreSQL manages high-volume data, SQLite only sees small snapshots;
The file was modified src/Pure/Admin/build_log.scala (diff)
The file was modified src/Pure/Admin/isabelle_cronjob.scala (diff)
Changeset 65722:35fcedb6bdc8 by wenzelm:
clarified database layout: pull date progression follows Isabelle only, and AFP is derived from that;
The file was modified src/Pure/Admin/build_log.scala (diff)
Changeset 65721:01fc771021e6 by wenzelm:
redundant;
The file was modified src/Pure/Admin/build_log.scala (diff)