Diffusion Isabelle 74d6567c2274

clarified Docker base image;
74d6567c2274
Actions

Tags

None

Subscribers

None

Description

clarified Docker base image;

Details

Provenance

Authored on

Parents

rISABELLE8089593a364a: proper file headers;

Branches

Unknown

Tags

Unknown

Event Timeline

makarius committed rISABELLE74d6567c2274: clarified Docker base image;.Sep 17 2022, 5:27 PM

Changes (2)

Path

Size

src/

Doc/

System/

Pure/

Tools/

build_docker.scala

rISABELLE74d6567c2274

src/Doc/System/Misc.thy

Loading...

src/Pure/Tools/build_docker.scala

Loading...