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:
If anybody wants to experiment with that, it requires a repository
snapshot of Isabelle2017 to get access to all such "admin" tools.
This archive was generated by a fusion of
Pipermail (Mailman edition) and