src/Pure/Admin/build_docker.scala
changeset 66785 6fbd7fc824a9
parent 64942 bae35a568b1b
     1.1 --- a/src/Pure/Admin/build_docker.scala	Tue Jan 24 09:39:21 2017 +0100
     1.2 +++ b/src/Pure/Admin/build_docker.scala	Tue Oct 03 17:35:16 2017 +0200
     1.3 @@ -130,9 +130,9 @@
     1.4  
     1.5    Examples:
     1.6  
     1.7 -    isabelle build_docker -E -t test/isabelle:Isabelle2016-1 Isabelle2016-1_app.tar.gz
     1.8 +    isabelle build_docker -E -t test/isabelle:Isabelle2017 Isabelle2017_app.tar.gz
     1.9  
    1.10 -    isabelle build_docker -E -n -o Dockerfile http://isabelle.in.tum.de/dist/Isabelle2016-1_app.tar.gz
    1.11 +    isabelle build_docker -E -n -o Dockerfile http://isabelle.in.tum.de/dist/Isabelle2017_app.tar.gz
    1.12  
    1.13  """,
    1.14            "B:" -> (arg => base = arg),