Diffusion Isabelle b8aeeedf7e68

support for Linux user management;
b8aeeedf7e68
Actions

Tags

None

Subscribers

None

Description

support for Linux user management;

Details

Provenance

Authored on

Parents

rISABELLEacedd04c1a42: merged

Branches

Unknown

Tags

Unknown

Event Timeline

wenzelm committed rISABELLEb8aeeedf7e68: support for Linux user management;.Nov 5 2019, 2:16 PM

Changes (1)

Path

Size

src/

Pure/

System/

rISABELLEb8aeeedf7e68

src/Pure/System/linux.scala

Loading...