Diffusion Isabelle acc3bac0d7c5

support for Linux packages;
acc3bac0d7c5
Actions

Tags

None

Subscribers

None

Description

support for Linux packages;

Details

Provenance

Authored on

Parents

rISABELLEfe9496df6298: specific support for Linux, notably Ubuntu/Debian;

Branches

Unknown

Tags

Unknown

Event Timeline

wenzelm committed rISABELLEacc3bac0d7c5: support for Linux packages;.Oct 29 2019, 7:42 PM

Changes (1)

Path

Size

src/

Pure/

System/

rISABELLEacc3bac0d7c5

src/Pure/System/linux.scala

Loading...