Stream: Archive Mirror: Isabelle Users Mailing List

Topic: [isabelle] Isabelle2020-RC3: isabelle build_docker

view this post on Zulip Email Gateway (Aug 23 2022 at 08:47):

From: Makarius <makarius@sketis.net>
A notable addition is the documentation for "isabelle build_docker" in the
"system" manual.

I did not update the official Dockerhub entry for Isabelle2020 yet, but early
adopters can make their own local image for testing.

Makarius

Last updated: Nov 21 2024 at 12:39 UTC