2021-03-27 | wenzelm | tuned; | file | diff | annotate |
2021-03-27 | wenzelm | more robust invocation of hg; | file | diff | annotate |
2021-03-27 | wenzelm | more robust invocation of hg; | file | diff | annotate |
2018-07-18 | wenzelm | evade odd connection problems to https://isabelle.in.tum.de from some remote hosts; | file | diff | annotate |
2018-03-28 | wenzelm | clarified handling of stdout vs. stderr: the cronjob should normally be silent; | file | diff | annotate |
2018-03-28 | wenzelm | proper self_update of components -- do assume shared file-system; | file | diff | annotate |
2018-03-02 | wenzelm | prefer https; | file | diff | annotate |
2016-12-04 | wenzelm | back to isabelle-dev repository; | file | diff | annotate |
2016-11-01 | wenzelm | pull isabelle-release; | file | diff | annotate |
2016-10-31 | wenzelm | more explicit pull; | file | diff | annotate |
2016-10-11 | wenzelm | basic setup for Isabelle cronjob; | file | diff | annotate |