History log of /seL4-l4v-master/isabelle/src/Pure/Tools/build_docker.scala
Revision Date Author Comments
# d61b050f 21-Mar-2020 wenzelm <none@none>

delete Isabelle distribution archive after use;
# 9d162f5b 21-Mar-2020 wenzelm <none@none>

documentation for "isabelle build_docker";
# b3bb6a67 23-Mar-2019 wenzelm <none@none>

proper latex setup;
# 2c3984d9 23-Mar-2019 wenzelm <none@none>

updated docker setup: lib32stdc++6 is no longer required for polyml-5.8, libfontconfig1 is required for headless jdk-11;
# 61814224 06-Mar-2019 wenzelm <none@none>

proper option (amending cc0b3e177b49);
# d46d095d 06-Aug-2018 wenzelm <none@none>

updated for release;
# ab5293cf 23-Oct-2017 wenzelm <none@none>

updated to jdk-8u152, which is for x86_64 only;
# 25e24196 08-Oct-2017 wenzelm <none@none>

build_docker is regular tool (non-admin);

--HG--
rename : src/Pure/Admin/build_docker.scala => src/Pure/Tools/build_docker.scala