more NEWS;
authorwenzelm
Tue Oct 03 19:03:47 2017 +0200 (9 months ago)
changeset 6678661617dafcd60
parent 66785 6fbd7fc824a9
child 66787 64b47495676d
more NEWS;
NEWS
     1.1 --- a/NEWS	Tue Oct 03 17:35:16 2017 +0200
     1.2 +++ b/NEWS	Tue Oct 03 19:03:47 2017 +0200
     1.3 @@ -301,6 +301,10 @@
     1.4  is analogous to ISABELLE_PLATFORM, ISABELLE_PLATFORM32,
     1.5  ISABELLE_PLATFORM64.
     1.6  
     1.7 +* Command-line tool "isabelle build_docker" builds a Docker image from
     1.8 +the Isabelle application bundle for Linux. See also
     1.9 +https://hub.docker.com/r/makarius/isabelle
    1.10 +
    1.11  * Command-line tool "isabelle vscode_server" provides a Language Server
    1.12  Protocol implementation, e.g. for the Visual Studio Code editor. It
    1.13  serves as example for alternative PIDE front-ends.