Diffusion Isabelle 059d5e115ae3

support more Ubuntu versions;
059d5e115ae3
Actions

Tags

None

Subscribers

None

Description

support more Ubuntu versions;

Details

Provenance

Authored on

Parents

rISABELLE6b9d5cae4579: updated for release;

Branches

Unknown

Tags

Unknown

Event Timeline

makarius committed rISABELLE059d5e115ae3: support more Ubuntu versions;.Fri, Apr 26, 8:18 PM

Changes (2)

Path

Size

src/

Doc/

System/

Pure/

System/

rISABELLE059d5e115ae3

src/Doc/System/Misc.thy

Loading...

src/Pure/System/linux.scala

Loading...