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

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 MHonArc.