Diffusion Isabelle decf8b66e2fb

more thorough update_global_index: overwrite old content;
decf8b66e2fb
Actions

Tags

None

Subscribers

None

Description

more thorough update_global_index: overwrite old content;

Details

Provenance

Authored on

Parents

rISABELLE3c776254cd95: tuned;

Branches

Unknown

Tags

Unknown

Event Timeline

makarius committed rISABELLEdecf8b66e2fb: more thorough update_global_index: overwrite old content;.Nov 5 2021, 12:36 PM

Changes (2)

Path

Size

src/

Pure/

Thy/

presentation.scala

Tools/

rISABELLEdecf8b66e2fb

src/Pure/Thy/presentation.scala

Loading...

src/Pure/Tools/build.scala

Loading...