equal
deleted
inserted
replaced
105 Build Isabelle docker image with default logic image, using a standard |
105 Build Isabelle docker image with default logic image, using a standard |
106 Isabelle application archive for Linux. |
106 Isabelle application archive for Linux. |
107 |
107 |
108 Example: |
108 Example: |
109 |
109 |
110 isabelle build_docker -t isabelle/Isabelle2016-1 Isabelle2016-1_app.tar.gz |
110 isabelle build_docker -t test/isabelle:Isabelle2016-1 Isabelle2016-1_app.tar.gz |
111 """, |
111 """, |
112 "P:" -> (arg => |
112 "P:" -> (arg => |
113 package_collections.get(arg) match { |
113 package_collections.get(arg) match { |
114 case Some(ps) => packages :::= ps |
114 case Some(ps) => packages :::= ps |
115 case None => error("Unknown package collection " + quote(arg)) |
115 case None => error("Unknown package collection " + quote(arg)) |