| Sat, 27 Mar 2021 19:46:02 +0100 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
| Sat, 27 Mar 2021 19:44:36 +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, 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
|