| 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 |