| Wed, 07 Oct 2020 21:15:15 +0200 | wenzelm | updated user + host; | file | diff | annotate |
| Sat, 15 Sep 2018 22:33:48 +0200 | wenzelm | updated to Ubuntu 18.04; | file | diff | annotate |
| Sun, 04 Mar 2018 15:10:11 +0100 | wenzelm | consolidated main cronjob server on virtual machine together with build_log database; | file | diff | annotate |
| Fri, 02 Mar 2018 20:32:39 +0100 | wenzelm | clarified README; | file | diff | annotate |
| Fri, 03 Nov 2017 17:27:00 +0100 | wenzelm | plain identify job for Isabelle + AFP, independent of any Isabelle technology; | file | diff | annotate |
| Tue, 11 Oct 2016 20:20:32 +0200 | wenzelm | basic setup for Isabelle cronjob; | file | diff | annotate |