Diffusion Isabelle 769a7cd5a16a

clarified signature: re-use store/cache from build results;
769a7cd5a16a
Actions

Tags

None

Subscribers

None

Description

clarified signature: re-use store/cache from build results;

Details

Provenance

Authored on

Parents

rISABELLE005abcb34849: tuned signature;

Branches

Unknown

Tags

Unknown

Event Timeline

makarius committed rISABELLE769a7cd5a16a: clarified signature: re-use store/cache from build results;.Sep 22 2022, 8:20 PM

Changes (4)

Path

Size

src/

HOL/

Tools/

Mirabelle/

mirabelle.scala

Pure/

Admin/

build_doc.scala

Thy/

document_build.scala

Tools/

rISABELLE769a7cd5a16a

src/HOL/Tools/Mirabelle/mirabelle.scala

Loading...

src/Pure/Admin/build_doc.scala

Loading...

src/Pure/Thy/document_build.scala

Loading...

src/Pure/Tools/build.scala

Loading...