Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. explore older history;
  2. more explicit flag for historic builds;
  3. proper result for rev == "";
  4. tuned -- more open to experimentation;
  5. tuned -- more visible;
  6. updated to polyml-5.7 for testing (not yet ready for production use);
  7. tuned;
Changeset 65810:356c2b488cf3 by wenzelm:
explore older history;
The file was modified src/Pure/Admin/isabelle_cronjob.scala (diff)
Changeset 65809:8d5ac49388ea by wenzelm:
more explicit flag for historic builds;
The file was modified src/Pure/Admin/isabelle_cronjob.scala (diff)
Changeset 65808:cb3e9d7f1d5f by wenzelm:
proper result for rev == "";
The file was modified src/Pure/Admin/isabelle_cronjob.scala (diff)
Changeset 65807:a830c6257393 by wenzelm:
tuned -- more open to experimentation;
The file was modified src/Pure/Admin/isabelle_cronjob.scala (diff)
Changeset 65806:0156222f2a18 by wenzelm:
tuned -- more visible;
The file was modified src/Pure/Admin/isabelle_cronjob.scala (diff)
Changeset 65805:d3c5898f1a5e by wenzelm:
updated to polyml-5.7 for testing (not yet ready for production use);
The file was modified Admin/components/components.sha1 (diff)
The file was modified Admin/polyml/README (diff)
The file was modified src/Pure/Admin/isabelle_cronjob.scala (diff)
Changeset 65804:73ed0ebac3b0 by wenzelm:
tuned;
The file was modified src/Pure/Admin/build_log.scala (diff)
The file was modified src/Pure/Admin/build_status.scala (diff)
The file was modified src/Pure/General/sql.scala (diff)