changeset 71581 | e9f53182c4aa |
parent 71575 | aff37005fd79 |
child 71582 | f2c1154e9c8d |
child 71662 | 263298eb68b2 |
--- a/NEWS Sat Mar 21 21:12:07 2020 +0100 +++ b/NEWS Sat Mar 21 21:41:13 2020 +0100 @@ -1496,6 +1496,9 @@ is analogous to ISABELLE_PLATFORM, ISABELLE_PLATFORM32, ISABELLE_PLATFORM64. +* The command-line tool "isabelle build_docker" has been slightly +improved: it is now properly documented in the "system" manual. + * Command-line tool "isabelle build_docker" builds a Docker image from the Isabelle application bundle for Linux. See also https://hub.docker.com/r/makarius/isabelle