Diffusion Isabelle a2dcda6107d9

discontinued perl;
a2dcda6107d9
Actions

Tags

None

Subscribers

None

Description

discontinued perl;

Details

Provenance

Authored on

Parents

rISABELLE2fd74a2c4e1c: clarified signature;

Branches

Unknown

Tags

Unknown

Event Timeline

makarius committed rISABELLEa2dcda6107d9: discontinued perl;.Oct 4 2021, 8:07 PM

Changes (2)

Path

Size

src/

Pure/

Tools/

build_docker.scala

rISABELLEa2dcda6107d9

NEWS

Loading...

src/Pure/Tools/build_docker.scala

Loading...