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
|
Sun, 07 Nov 2021 20:04:47 +0100 |
wenzelm |
no perl (amending 59ef23ac81ab);
|
file |
diff |
annotate
|
Mon, 01 Nov 2021 22:37:22 +0100 |
wenzelm |
support linux_arm as well, e.g. native Docker on Apple Silicon;
|
file |
diff |
annotate
|
Thu, 07 Oct 2021 23:41:06 +0200 |
wenzelm |
save 90 MB by excluding rlwrap and thus perl;
|
file |
diff |
annotate
|
Mon, 04 Oct 2021 20:07:51 +0200 |
wenzelm |
discontinued perl;
|
file |
diff |
annotate
|
Sun, 14 Mar 2021 21:02:34 +0100 |
wenzelm |
removed spurious references to perl / libwww-perl;
|
file |
diff |
annotate
|
Mon, 01 Mar 2021 22:22:12 +0100 |
wenzelm |
tuned --- fewer warnings;
|
file |
diff |
annotate
|
Sat, 27 Feb 2021 18:04:29 +0100 |
wenzelm |
clarified modules: more like ML;
|
file |
diff |
annotate
|
Sat, 28 Nov 2020 21:56:24 +0100 |
wenzelm |
added document antiquotation @{tool};
|
file |
diff |
annotate
|
Sat, 31 Oct 2020 21:02:45 +0100 |
wenzelm |
tuned message;
|
file |
diff |
annotate
|
Sun, 18 Oct 2020 13:10:09 +0200 |
wenzelm |
clarified basic Linux packages;
|
file |
diff |
annotate
|
Sat, 21 Mar 2020 21:12:07 +0100 |
wenzelm |
delete Isabelle distribution archive after use;
|
file |
diff |
annotate
|
Sat, 21 Mar 2020 20:57:34 +0100 |
wenzelm |
documentation for "isabelle build_docker";
|
file |
diff |
annotate
|
Sat, 23 Mar 2019 19:50:03 +0100 |
wenzelm |
proper latex setup;
|
file |
diff |
annotate
|
Sat, 23 Mar 2019 17:10:53 +0100 |
wenzelm |
updated docker setup: lib32stdc++6 is no longer required for polyml-5.8, libfontconfig1 is required for headless jdk-11;
|
file |
diff |
annotate
|
Wed, 06 Mar 2019 21:44:30 +0100 |
wenzelm |
proper option (amending cc0b3e177b49);
|
file |
diff |
annotate
|
Mon, 06 Aug 2018 15:43:36 +0200 |
wenzelm |
updated for release;
|
file |
diff |
annotate
|
Mon, 23 Oct 2017 19:30:39 +0200 |
wenzelm |
updated to jdk-8u152, which is for x86_64 only;
|
file |
diff |
annotate
|
Sun, 08 Oct 2017 14:52:06 +0200 |
wenzelm |
build_docker is regular tool (non-admin);
|
file |
diff |
annotate
| base
|