| Wed, 18 Jul 2018 17:01:12 +0200 | wenzelm | evade odd connection problems to https://isabelle.in.tum.de from some remote hosts; | file | diff | annotate |
| Wed, 28 Mar 2018 13:46:21 +0200 | wenzelm | clarified handling of stdout vs. stderr: the cronjob should normally be silent; | file | diff | annotate |
| Wed, 28 Mar 2018 11:54:18 +0200 | wenzelm | proper self_update of components -- do assume shared file-system; | file | diff | annotate |
| Fri, 02 Mar 2018 15:16:10 +0100 | wenzelm | prefer https; | file | diff | annotate |
| Sun, 04 Dec 2016 18:53:22 +0100 | wenzelm | back to isabelle-dev repository; | file | diff | annotate |
| Tue, 01 Nov 2016 01:25:54 +0100 | wenzelm | pull isabelle-release; | file | diff | annotate |
| Mon, 31 Oct 2016 14:21:23 +0100 | wenzelm | more explicit pull; | file | diff | annotate |
| Tue, 11 Oct 2016 20:20:32 +0200 | wenzelm | basic setup for Isabelle cronjob; | file | diff | annotate |