Skip to content
Success

Changes

Summary

  1. tuned (graph.all_succs already contains origin);
  2. support for AFP versions; added AFP tests: non-slow, two partitions;
  3. clarified afp_pull_date: both repository versions are relevant;
  4. clarified stored build_args;
  5. partition AFP sessions according to structure, which happens to cut it roughly into equal parts;
  6. support for AFP in build_history and remote_build_history;
  7. tuned whitespace;
  8. support for AFP versions;
  9. tuned signature;
  10. tuned signature;
  11. support for AFP versions;
  12. tuned;
Changeset 66865:c8b18abf23e1 by wenzelm:
tuned (graph.all_succs already contains origin);
The file was modified src/Pure/Admin/isabelle_cronjob.scala (diff)
Changeset 66864:5cb8ccc46e3e by wenzelm:
support for AFP versions;<br>added AFP tests: non-slow, two partitions;
The file was modified src/Pure/Admin/isabelle_cronjob.scala (diff)
Changeset 66863:6acd1a2bd146 by wenzelm:
clarified afp_pull_date: both repository versions are relevant;
The file was modified src/Pure/Admin/build_log.scala (diff)
Changeset 66862:136793b73c7c by wenzelm:
clarified stored build_args;
The file was modified src/Pure/Admin/build_history.scala (diff)
Changeset 66861:f6676691ef8a by wenzelm:
partition AFP sessions according to structure, which happens to cut it roughly into equal parts;
The file was modified src/Pure/Admin/afp.scala (diff)
The file was modified src/Pure/Admin/build_history.scala (diff)
The file was modified src/Pure/Admin/isabelle_cronjob.scala (diff)
Changeset 66860:54ae2cc05325 by wenzelm:
support for AFP in build_history and remote_build_history;
The file was modified src/Pure/Admin/build_history.scala (diff)
The file was modified src/Pure/Admin/isabelle_cronjob.scala (diff)
Changeset 66859:dd846a805fb1 by wenzelm:
tuned whitespace;
The file was modified src/Pure/Admin/isabelle_cronjob.scala (diff)
Changeset 66858:2ca6f0275de7 by wenzelm:
support for AFP versions;
The file was modified src/Pure/Admin/build_log.scala (diff)
The file was modified src/Pure/Admin/isabelle_cronjob.scala (diff)
Changeset 66857:f8f42289c4df by wenzelm:
tuned signature;
The file was modified src/Pure/Admin/build_log.scala (diff)
The file was modified src/Pure/General/sql.scala (diff)
The file was modified src/Pure/Thy/sessions.scala (diff)
The file was modified src/Pure/Tools/server.scala (diff)
Changeset 66856:6b90c688a6dc by wenzelm:
tuned signature;
The file was modified src/Pure/Admin/build_log.scala (diff)
The file was modified src/Pure/Admin/isabelle_cronjob.scala (diff)
The file was modified src/Pure/General/sql.scala (diff)
Changeset 66855:c9d413fca1ec by wenzelm:
support for AFP versions;
The file was modified src/Pure/Admin/build_log.scala (diff)
Changeset 66854:e23d73f43fb6 by wenzelm:
tuned;
The file was modified src/Pure/Admin/afp.scala (diff)
The file was modified src/Pure/Admin/build_release.scala (diff)
The file was modified src/Pure/Admin/isabelle_cronjob.scala (diff)