thomasdwright/isabelle-utp repository overview

Isabelle/UTP docker image based on https://github.com/isabelle-utp/utp-main/tree/release-2021⁠ and Isabelle 2021.

Launch Isabelle/UTP's jEdit interface using:

docker run -ti --rm -e DISPLAY=$DISPLAY -v /tmp/.X11-unix:/tmp/.X11-unix thomasdwright/isabelle-utp:2021

To persist Isabelle/jEdit settings between runs, create a docker volume using:

docker volume create isabelle_utp_home

and add -v isabelle_utp_home:/root/.isabelle to the docker options.

You can similarly mount your own working directory containing additional isabelle theories within the docker container by adding -v [host-working-dir]:/root/workingdir.

It also possible to supply additional launch options to Isabelle/jEdit. For example, to enable 2.0x HiDPI scaling and load the UTP-Reactive session, use:

docker run -ti --rm -e DISPLAY=$DISPLAY -v /tmp/.X11-unix:/tmp/.X11-unix thomasdwright/isabelle-utp:2021 -Dsun.java2d.uiScale=2.0 -l UTP-Reactive