Diffusion Isabelle e2fb60756fb8

proper check of Linux version;
e2fb60756fb8
Actions

Tags

None

Subscribers

None

Description

proper check of Linux version;

Details

Provenance

Authored on

Parents

rISABELLEd5751eb5cc57: tuned;

Branches

Unknown

Tags

Unknown

Event Timeline

wenzelm committed rISABELLEe2fb60756fb8: proper check of Linux version;.Dec 10 2019, 9:05 PM

Changes (2)

Path

Size

src/

Pure/

System/

Tools/

phabricator.scala

rISABELLEe2fb60756fb8

src/Pure/System/linux.scala

Loading...

src/Pure/Tools/phabricator.scala

Loading...