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
|