Diffusion Isabelle c1597167563e

avoid duplicate directories wrt. synthetic session;
c1597167563e
Actions

Tags

None

Subscribers

None

Description

avoid duplicate directories wrt. synthetic session;

Details

Provenance

Authored on

Parents

rISABELLE60b1eda998f3: disallow accidental duplicates within the same session specification -- proper…

Branches

Unknown

Tags

Unknown

Event Timeline

makarius mentioned this in rISABELLE391ea80ff27c: more robust re-use of $ISABELLE_TMP_PREFIX (amending c1597167563e);.Mar 21 2020, 10:19 PM

Changes (1)

Path

Size

src/

Pure/

Thy/

rISABELLEc1597167563e

src/Pure/Thy/sessions.scala

Loading...