| Sat, 27 Mar 2021 18:15:19 +0100 | wenzelm | more robust invocation of hg; | file | diff | annotate |
| Sat, 27 Mar 2021 17:05:36 +0100 | wenzelm | more robust invocation of hg; | file | diff | annotate |
| Wed, 07 Oct 2020 21:02:04 +0200 | wenzelm | updated URL; | file | diff | annotate |
| Thu, 25 Jun 2020 15:45:15 +0200 | wenzelm | more uniform URL (see 60b5a4731695); | file | diff | annotate |
| Fri, 02 Mar 2018 15:16:10 +0100 | wenzelm | prefer https; | 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 |