| Sun, 04 Mar 2018 13:51:58 +0100 | wenzelm | identify closer to main cronjob -- avoid diverging changeset versions; | 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 |