Diffusion Isabelle ef2082c41cd0

clarified basic Linux packages;
ef2082c41cd0
Actions

Tags

None

Subscribers

None

Description

clarified basic Linux packages;

Details

Provenance

Authored on

Parents

rISABELLEfa4bb287ea56: merged

Branches

Unknown

Tags

Unknown

Event Timeline

makarius committed rISABELLEef2082c41cd0: clarified basic Linux packages;.Oct 18 2020, 1:10 PM

Changes (3)

Path

Size

src/

Pure/

System/

Tools/

build_docker.scala

phabricator.scala

rISABELLEef2082c41cd0

src/Pure/System/linux.scala

Loading...

src/Pure/Tools/build_docker.scala

Loading...

src/Pure/Tools/phabricator.scala

Loading...