Diffusion Isabelle 5f02ecbb19d6

support for system services;
5f02ecbb19d6
Actions

Tags

None

Subscribers

None

Description

support for system services;

Details

Provenance

Authored on

Parents

rISABELLE87c132cf5860: more options;

Branches

Unknown

Tags

Unknown

Event Timeline

wenzelm committed rISABELLE5f02ecbb19d6: support for system services;.Nov 5 2019, 4:47 PM

Changes (1)

Path

Size

src/

Pure/

System/

rISABELLE5f02ecbb19d6

src/Pure/System/linux.scala

Loading...