Diffusion Isabelle 391ea80ff27c

more robust re-use of $ISABELLE_TMP_PREFIX (amending c1597167563e);
391ea80ff27c
Actions

Tags

None

Subscribers

None

Description

more robust re-use of $ISABELLE_TMP_PREFIX (amending c1597167563e);

Details

Provenance

Authored on

Parents

rISABELLE1005c50b2750: prefer strict qualification (default for 'interpretation', see 461ee3e49ad3) as…

Branches

Unknown

Tags

Unknown

Event Timeline

makarius committed rISABELLE391ea80ff27c: more robust re-use of $ISABELLE_TMP_PREFIX (amending c1597167563e);.Mar 18 2020, 6:06 PM

Changes (2)

Path

Size

src/

Pure/

System/

isabelle_system.scala

Thy/

rISABELLE391ea80ff27c

src/Pure/System/isabelle_system.scala

Loading...

src/Pure/Thy/sessions.scala

Loading...