equal
deleted
inserted
replaced
76 |
76 |
77 hg up -r DISTNAME && Admin/build_release -b HOL -l -O -R DISTNAME /home/isabelle/dist |
77 hg up -r DISTNAME && Admin/build_release -b HOL -l -O -R DISTNAME /home/isabelle/dist |
78 |
78 |
79 - Docker image: |
79 - Docker image: |
80 |
80 |
81 isabelle build_docker -o Dockerfile -E -t makarius/isabelle:Isabelle2020 Isabelle2020_linux.tar.gz |
81 isabelle build_docker -o Dockerfile -E -t makarius/isabelle:Isabelle2021 Isabelle2021_linux.tar.gz |
82 |
82 |
83 https://hub.docker.com/r/makarius/isabelle |
83 https://hub.docker.com/r/makarius/isabelle |
84 https://docs.docker.com/engine/reference/commandline/push |
84 https://docs.docker.com/engine/reference/commandline/push |
85 |
85 |
86 |
86 |