Diffusion Isabelle 87c132cf5860

more options;
87c132cf5860
Actions

Tags

None

Subscribers

None

Description

more options;

Details

Provenance

Authored on

Parents

rISABELLEb8aeeedf7e68: support for Linux user management;

Branches

Unknown

Tags

Unknown

Event Timeline

wenzelm committed rISABELLE87c132cf5860: more options;.Nov 5 2019, 2:28 PM

Changes (1)

Path

Size

src/

Pure/

Tools/

phabricator.scala

rISABELLE87c132cf5860

src/Pure/Tools/phabricator.scala

Loading...