| changeset 71510 | 948143567b03 |
| parent 71431 | 508b4f6431ae |
| child 72793 | 35d200023993 |
--- a/Admin/Release/CHECKLIST Mon Mar 02 15:45:37 2020 +0100 +++ b/Admin/Release/CHECKLIST Tue Mar 03 15:51:02 2020 +0100 @@ -80,7 +80,7 @@ - Docker image: - isabelle build_docker -o Dockerfile -E -t makarius/isabelle:Isabelle2019 Isabelle2019_linux.tar.gz + isabelle build_docker -o Dockerfile -E -t makarius/isabelle:Isabelle2020 Isabelle2020_linux.tar.gz https://hub.docker.com/r/makarius/isabelle https://docs.docker.com/engine/reference/commandline/push