updated for release;
authorwenzelm
Mon Aug 06 15:43:36 2018 +0200 (4 months ago)
changeset 6873834b8ff7cb109
parent 68737 a8bef9ff7dc0
child 68739 0c62e3b4f4c0
updated for release;
Admin/Release/CHECKLIST
src/Pure/Tools/build_docker.scala
     1.1 --- a/Admin/Release/CHECKLIST	Mon Aug 06 15:19:39 2018 +0200
     1.2 +++ b/Admin/Release/CHECKLIST	Mon Aug 06 15:43:36 2018 +0200
     1.3 @@ -86,7 +86,7 @@
     1.4  
     1.5  - Docker image:
     1.6  
     1.7 -  isabelle build_docker -E -t makarius/isabelle:Isabelle2017 Isabelle2017_app.tar.gz
     1.8 +  isabelle build_docker -o Dockerfile -E -t makarius/isabelle:Isabelle2018 Isabelle2018_app.tar.gz
     1.9  
    1.10    https://hub.docker.com/r/makarius/isabelle
    1.11    https://docs.docker.com/docker-cloud/builds/push-images
     2.1 --- a/src/Pure/Tools/build_docker.scala	Mon Aug 06 15:19:39 2018 +0200
     2.2 +++ b/src/Pure/Tools/build_docker.scala	Mon Aug 06 15:43:36 2018 +0200
     2.3 @@ -129,9 +129,9 @@
     2.4  
     2.5    Examples:
     2.6  
     2.7 -    isabelle build_docker -E -t test/isabelle:Isabelle2017 Isabelle2017_app.tar.gz
     2.8 +    isabelle build_docker -E -t test/isabelle:Isabelle2018 Isabelle2018_app.tar.gz
     2.9  
    2.10 -    isabelle build_docker -E -n -o Dockerfile http://isabelle.in.tum.de/dist/Isabelle2017_app.tar.gz
    2.11 +    isabelle build_docker -E -n -o Dockerfile http://isabelle.in.tum.de/dist/Isabelle2018_app.tar.gz
    2.12  
    2.13  """,
    2.14            "B:" -> (arg => base = arg),