# HG changeset patch
# User wenzelm
# Date 1507050227 -7200
# Node ID 61617dafcd6067f03b2c4395eecacf178c94a7db
# Parent  6fbd7fc824a96d7eec17ac18581463273efdca79
more NEWS;

diff -r 6fbd7fc824a9 -r 61617dafcd60 NEWS
--- a/NEWS	Tue Oct 03 17:35:16 2017 +0200
+++ b/NEWS	Tue Oct 03 19:03:47 2017 +0200
@@ -301,6 +301,10 @@
 is analogous to ISABELLE_PLATFORM, ISABELLE_PLATFORM32,
 ISABELLE_PLATFORM64.
 
+* 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
+
 * Command-line tool "isabelle vscode_server" provides a Language Server
 Protocol implementation, e.g. for the Visual Studio Code editor. It
 serves as example for alternative PIDE front-ends.