Summary
- enable multi-builds (again, see also 0c7419d3dd59);
- explore history more thoroughly;
- tuned signature;
- clarified "recent" time: days <= 0 means infinity (no constraint);
- tuned whitespace;
- proper exploration of older history: avoid premature fallback on current "rev" (see also d3d5cb2d6866, 6706d6f0afda);
- clarified signature;
- tuned output;
- tuned;
- tuned message;
The file was modified | src/Pure/Admin/isabelle_cronjob.scala (diff) |
The file was modified | src/Pure/Admin/isabelle_cronjob.scala (diff) |
The file was modified | src/Pure/Admin/isabelle_cronjob.scala (diff) |
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/Admin/build_status.scala (diff) |
The file was modified | src/Pure/Admin/isabelle_cronjob.scala (diff) |
The file was modified | src/Pure/Admin/isabelle_cronjob.scala (diff) |
The file was modified | src/Pure/Admin/isabelle_cronjob.scala (diff) |
The file was modified | src/Pure/Tools/build.scala (diff) |
The file was modified | src/Pure/Admin/build_log.scala (diff) |