Re: [isabelle] Isabelle Docker image



On 09/10/17 10:52, Makarius wrote:
> 
> the new Isabelle2017 distribution provides a Docker image via the Docker
> Hub repository https://hub.docker.com/r/makarius/isabelle

There is a small mistake in the Isabelle2017/NEWS file: it claims the
existence of a tool "isabelle build_docker", but that is actually an
internal administrative tool and thus not accessible in the release.

The Isabelle/Scala source is here:
http://isabelle.in.tum.de/repos/isabelle/file/Isabelle2017/src/Pure/Admin/build_docker.scala

If anybody wants to experiment with that, it requires a repository
snapshot of Isabelle2017 to get access to all such "admin" tools.


	Makarius




This archive was generated by a fusion of Pipermail (Mailman edition) and MHonArc.