| Thu, 13 Oct 2016 21:44:42 +0200 | wenzelm | clarified; | file | diff | annotate |
| Thu, 13 Oct 2016 21:32:26 +0200 | wenzelm | tuned; | file | diff | annotate |
| Thu, 13 Oct 2016 21:23:49 +0200 | wenzelm | tuned message; | file | diff | annotate |
| Thu, 13 Oct 2016 17:34:39 +0200 | wenzelm | tuned; | file | diff | annotate |
| Thu, 13 Oct 2016 17:22:32 +0200 | wenzelm | integrity test of build_history vs. build_history_base; | file | diff | annotate |
| Thu, 13 Oct 2016 16:14:41 +0200 | wenzelm | clarified log_subdir vs. log_filename; | file | diff | annotate |
| Thu, 13 Oct 2016 15:44:24 +0200 | wenzelm | tuned; | file | diff | annotate |
| Thu, 13 Oct 2016 12:04:48 +0200 | wenzelm | allow to exclude named tasks; | file | diff | annotate |
| Thu, 13 Oct 2016 11:54:06 +0200 | wenzelm | support for separate sub-system options, independent of main Isabelle options; | file | diff | annotate |
| Thu, 13 Oct 2016 11:22:27 +0200 | wenzelm | tuned; | file | diff | annotate |
| Wed, 12 Oct 2016 21:53:30 +0200 | wenzelm | tuned signature; | file | diff | annotate |
| Wed, 12 Oct 2016 21:50:16 +0200 | wenzelm | tuned; | file | diff | annotate |
| Wed, 12 Oct 2016 21:35:36 +0200 | wenzelm | clarified task logging via log service; | file | diff | annotate |
| Wed, 12 Oct 2016 19:03:35 +0200 | wenzelm | more explicit management of tasks; | file | diff | annotate |
| Wed, 12 Oct 2016 11:31:08 +0200 | wenzelm | simplified: no internal state for Mercurial; | file | diff | annotate |
| Tue, 11 Oct 2016 22:30:48 +0200 | wenzelm | tuned output; | file | diff | annotate |
| Tue, 11 Oct 2016 22:24:47 +0200 | wenzelm | tuned message -- more parsable; | file | diff | annotate |
| Tue, 11 Oct 2016 22:24:14 +0200 | wenzelm | tuned signature; | file | diff | annotate |
| Tue, 11 Oct 2016 22:14:26 +0200 | wenzelm | identify managed repository clones; | file | diff | annotate |
| Tue, 11 Oct 2016 21:48:56 +0200 | wenzelm | some timing and logging, similar to old isatest.log; | file | diff | annotate |
| Tue, 11 Oct 2016 20:20:32 +0200 | wenzelm | basic setup for Isabelle cronjob; | file | diff | annotate |