| Mon, 01 May 2017 22:45:39 +0200 | wenzelm | approximate repository identify job based on isabelle-nightly-slow; | file | diff | annotate |
| Mon, 01 May 2017 11:24:41 +0200 | wenzelm | more parallelism; | file | diff | annotate |
| Mon, 01 May 2017 11:20:32 +0200 | wenzelm | tuned; | file | diff | annotate |
| Mon, 01 May 2017 11:12:46 +0200 | wenzelm | proper log_path check; | file | diff | annotate |
| Mon, 01 May 2017 11:04:33 +0200 | wenzelm | ensure canonical order: latest first; | file | diff | annotate |
| Mon, 01 May 2017 11:00:27 +0200 | wenzelm | tuned signature; | file | diff | annotate |
| Mon, 01 May 2017 10:58:54 +0200 | wenzelm | download Jenkins logs with inlined ml_statistics; | file | diff | annotate |
| Mon, 01 May 2017 10:55:46 +0200 | wenzelm | tuned; | file | diff | annotate |
| Mon, 01 May 2017 10:05:02 +0200 | wenzelm | clarified signature; | file | diff | annotate |
| Mon, 01 May 2017 09:52:11 +0200 | wenzelm | tuned signature; | file | diff | annotate |
| Mon, 01 May 2017 09:49:22 +0200 | wenzelm | read ml_statistics from session logs: .db or .gz files; | file | diff | annotate |
| Mon, 01 May 2017 00:07:43 +0200 | wenzelm | more informative log_filename; | file | diff | annotate |
| Sun, 30 Apr 2017 23:41:08 +0200 | wenzelm | retrieve more than just 100 builds; | file | diff | annotate |
| Sun, 30 Apr 2017 23:11:51 +0200 | wenzelm | clarified modules; | file | diff | annotate | base |