Diffusion Isabelle d045cdbdf243

proper relative path (see also df49ca5da9d0, 5b15eee1a661, etc.);
d045cdbdf243
Actions

Tags

None

Subscribers

None

Description

proper relative path (see also df49ca5da9d0, 5b15eee1a661, etc.);

Details

Provenance

Authored on

Parents

rISABELLE0fb889c361e6: tuned signature;

Branches

Unknown

Tags

Unknown

Event Timeline

makarius committed rISABELLEd045cdbdf243: proper relative path (see also df49ca5da9d0, 5b15eee1a661, etc.);.Mar 1 2021, 3:09 PM

Changes (1)

Path

Size

src/

Pure/

System/

isabelle_system.ML

rISABELLEd045cdbdf243

src/Pure/System/isabelle_system.ML

Loading...