| Sat, 22 Oct 2016 20:09:30 +0200 | wenzelm | expose results on failure (via mail); | file | diff | annotate |
| Tue, 11 Oct 2016 23:09:36 +0200 | wenzelm | proper redirection; | file | diff | annotate |
| Tue, 11 Oct 2016 20:20:32 +0200 | wenzelm | basic setup for Isabelle cronjob; | file | diff | annotate |