Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. proper ISABELLE_IDENTIFIER for remote Admin/build_history, e.g. relevant for settings;
  2. tuned;
  3. proper index;
Changeset 65917:2b7d4678bce6 by wenzelm:
proper ISABELLE_IDENTIFIER for remote Admin/build_history, e.g. relevant for settings;
The file was modified src/Pure/Admin/build_history.scala (diff)
The file was modified src/Pure/Admin/isabelle_cronjob.scala (diff)
Changeset 65916:5b8ed310b31d by wenzelm:
tuned;
The file was modified src/Pure/Admin/other_isabelle.scala (diff)
The file was modified src/Pure/System/isabelle_system.scala (diff)
Changeset 65915:49f61e2f5a02 by wenzelm:
proper index;
The file was modified src/Pure/Admin/isabelle_cronjob.scala (diff)