Skip to content
Success

Changes

Summary

  1. enable multi-builds (again, see also 0c7419d3dd59);
  2. explore history more thoroughly;
  3. tuned signature;
  4. clarified "recent" time: days <= 0 means infinity (no constraint);
  5. tuned whitespace;
  6. proper exploration of older history: avoid premature fallback on current "rev" (see also d3d5cb2d6866, 6706d6f0afda);
  7. clarified signature;
  8. tuned output;
  9. tuned;
  10. tuned message;
Changeset 78903:54318ecceec9 by wenzelm:
enable multi-builds (again, see also 0c7419d3dd59);
The file was modified src/Pure/Admin/isabelle_cronjob.scala (diff)
Changeset 78902:6dc989ae4327 by wenzelm:
explore history more thoroughly;
The file was modified src/Pure/Admin/isabelle_cronjob.scala (diff)
Changeset 78901:6874791b24d9 by wenzelm:
tuned signature;
The file was modified src/Pure/Admin/isabelle_cronjob.scala (diff)
Changeset 78900:9f7a94117666 by wenzelm:
clarified &quot;recent&quot; time: days &lt;= 0 means infinity (no constraint);
The file was modified src/Pure/Admin/build_log.scala (diff)
The file was modified src/Pure/Admin/build_status.scala (diff)
Changeset 78899:224aabe156f5 by wenzelm:
tuned whitespace;
The file was modified src/Pure/Admin/build_status.scala (diff)
Changeset 78898:c93efa4b2a50 by wenzelm:
proper exploration of older history: avoid premature fallback on current &quot;rev&quot; (see also d3d5cb2d6866, 6706d6f0afda);
The file was modified src/Pure/Admin/isabelle_cronjob.scala (diff)
Changeset 78897:541ea5302200 by wenzelm:
clarified signature;
The file was modified src/Pure/Admin/isabelle_cronjob.scala (diff)
Changeset 78896:3523df57df51 by wenzelm:
tuned output;
The file was modified src/Pure/Admin/isabelle_cronjob.scala (diff)
Changeset 78895:801f8237cc5e by wenzelm:
tuned;
The file was modified src/Pure/Tools/build.scala (diff)
Changeset 78894:1fbfe0bca5e1 by wenzelm:
tuned message;
The file was modified src/Pure/Admin/build_log.scala (diff)