Diffusion Isabelle d305af09fbad

tuned signature;
d305af09fbad
Actions

Tags

None

Subscribers

None

Description

tuned signature;

Details

Provenance

Authored on

Parents

rISABELLE65acbafc70e5: tuned;

Branches

Unknown

Tags

Unknown

Event Timeline

makarius committed rISABELLEd305af09fbad: tuned signature;.Tue, Nov 7, 12:06 PM

Changes (1)

Path

Size

src/

Pure/

System/

rISABELLEd305af09fbad

src/Pure/System/bash.scala

Loading...