| Fri, 07 Oct 2016 18:30:56 +0200 |
wenzelm |
more permissive timing data;
|
changeset |
files
|
| Fri, 07 Oct 2016 18:07:10 +0200 |
wenzelm |
more permissive for old logs;
|
changeset |
files
|
| Fri, 07 Oct 2016 17:46:36 +0200 |
wenzelm |
more uniform regexps;
|
changeset |
files
|
| Fri, 07 Oct 2016 17:41:19 +0200 |
wenzelm |
clarified status: started sessions may bomb without explicit FAILED or CANCELLED (cf. in afp-test-devel-2016-01-03.log);
|
changeset |
files
|
| Fri, 07 Oct 2016 17:12:47 +0200 |
wenzelm |
clarified parse_build_info: isabelle build output;
|
changeset |
files
|
| Fri, 07 Oct 2016 16:50:47 +0200 |
wenzelm |
more operations;
|
changeset |
files
|
| Fri, 07 Oct 2016 14:17:20 +0200 |
wenzelm |
more operations;
|
changeset |
files
|
| Fri, 07 Oct 2016 13:58:10 +0200 |
wenzelm |
clarified signature;
|
changeset |
files
|
| Fri, 07 Oct 2016 11:45:30 +0200 |
wenzelm |
more uniform treatment of settings;
|
changeset |
files
|
| Fri, 07 Oct 2016 11:24:58 +0200 |
wenzelm |
clarified modules;
|
changeset |
files
|
| Fri, 07 Oct 2016 11:10:17 +0200 |
wenzelm |
tuned;
|
changeset |
files
|
| Fri, 07 Oct 2016 10:46:34 +0200 |
wenzelm |
more official legacy status;
|
changeset |
files
|