| Tue, 07 Mar 2023 23:02:52 +0100 |
wenzelm |
renamed "isabelle build_docker" to "isabelle docker_build" (unrelated to "isabelle build");
|
file |
diff |
annotate
|
| Fri, 24 Feb 2023 20:52:35 +0100 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
| Fri, 24 Feb 2023 20:40:50 +0100 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
| Wed, 30 Nov 2022 15:03:31 +0100 |
wenzelm |
clarified signature: prefer Scala functions instead of shell scripts;
|
file |
diff |
annotate
|
| Fri, 25 Nov 2022 13:38:15 +0100 |
wenzelm |
clarified signature;
|
file |
diff |
annotate
|
| Fri, 16 Sep 2022 15:07:33 +0200 |
wenzelm |
clarified default, following 8b695e59db3f;
|
file |
diff |
annotate
|
| Fri, 16 Sep 2022 15:05:50 +0200 |
wenzelm |
tuned signature;
|
file |
diff |
annotate
|
| Fri, 16 Sep 2022 15:03:08 +0200 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
| Fri, 16 Sep 2022 14:57:48 +0200 |
wenzelm |
clarified modules;
|
file |
diff |
annotate
|
| Fri, 16 Sep 2022 14:26:42 +0200 |
wenzelm |
discontinued pointless SSH.Target: OpenSSH client can handle user@host directly;
|
file |
diff |
annotate
|
| Tue, 13 Sep 2022 09:38:02 +0200 |
wenzelm |
clarified signature: separate unrelated modules;
|
file |
diff |
annotate
|
| Sat, 10 Sep 2022 15:41:44 +0200 |
wenzelm |
proper comment: Phabricator remains on Ubuntu 20.04, which is still required as build environment for old Mercurial 3.9.2 with Python 2;
|
file |
diff |
annotate
|
| Fri, 08 Jul 2022 20:24:05 +0200 |
wenzelm |
more robust Scala 3 indentation, for the sake of IntelliJ IDEA;
|
file |
diff |
annotate
|
| Fri, 01 Apr 2022 23:19:12 +0200 |
wenzelm |
tuned formatting;
|
file |
diff |
annotate
|
| Fri, 01 Apr 2022 17:06:10 +0200 |
wenzelm |
clarified formatting, for the sake of scala3;
|
file |
diff |
annotate
|