src/Pure/Admin/build_docker.scala
Sun, 15 Jan 2017 12:59:40 +0100 wenzelm clarified packages (for z3);
Sun, 15 Jan 2017 12:46:09 +0100 wenzelm proper tag syntax;
Sun, 15 Jan 2017 12:19:48 +0100 wenzelm clarified packages;
Sat, 14 Jan 2017 22:28:51 +0100 wenzelm clarified packages;
Sat, 14 Jan 2017 21:48:23 +0100 wenzelm more options;
Sat, 14 Jan 2017 20:33:55 +0100 wenzelm build docker image from Isabelle application bundle for Linux;
less more (0) tip