src/Pure/Tools/build_docker.scala
Fri, 08 Jul 2022 20:24:05 +0200 wenzelm more robust Scala 3 indentation, for the sake of IntelliJ IDEA;
Fri, 01 Apr 2022 23:19:12 +0200 wenzelm tuned formatting;
Fri, 01 Apr 2022 17:06:10 +0200 wenzelm clarified formatting, for the sake of scala3;
Sun, 07 Nov 2021 20:04:47 +0100 wenzelm no perl (amending 59ef23ac81ab);
Mon, 01 Nov 2021 22:37:22 +0100 wenzelm support linux_arm as well, e.g. native Docker on Apple Silicon;
Thu, 07 Oct 2021 23:41:06 +0200 wenzelm save 90 MB by excluding rlwrap and thus perl;
Mon, 04 Oct 2021 20:07:51 +0200 wenzelm discontinued perl;
Sun, 14 Mar 2021 21:02:34 +0100 wenzelm removed spurious references to perl / libwww-perl;
Mon, 01 Mar 2021 22:22:12 +0100 wenzelm tuned --- fewer warnings;
Sat, 27 Feb 2021 18:04:29 +0100 wenzelm clarified modules: more like ML;
Sat, 28 Nov 2020 21:56:24 +0100 wenzelm added document antiquotation @{tool};
Sat, 31 Oct 2020 21:02:45 +0100 wenzelm tuned message;
Sun, 18 Oct 2020 13:10:09 +0200 wenzelm clarified basic Linux packages;
Sat, 21 Mar 2020 21:12:07 +0100 wenzelm delete Isabelle distribution archive after use;
Sat, 21 Mar 2020 20:57:34 +0100 wenzelm documentation for "isabelle build_docker";
Sat, 23 Mar 2019 19:50:03 +0100 wenzelm proper latex setup;
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;
Wed, 06 Mar 2019 21:44:30 +0100 wenzelm proper option (amending cc0b3e177b49);
Mon, 06 Aug 2018 15:43:36 +0200 wenzelm updated for release;
Mon, 23 Oct 2017 19:30:39 +0200 wenzelm updated to jdk-8u152, which is for x86_64 only;
Sun, 08 Oct 2017 14:52:06 +0200 wenzelm build_docker is regular tool (non-admin);
less more (0) tip