Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. tuned message;
  2. proper ISABELLE_IDENTIFIER for remote Admin/build_history, e.g. relevant for settings;
  3. tuned;
  4. proper index;
Changeset 65918:b873cefb3b6a by wenzelm:
tuned message;
The file was modified src/Pure/General/sql.scala (diff)
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)