clarified caching;
d2690444c00a
Actions

Description

clarified caching;

Details

Provenance

Authored on

Parents

Branches

Unknown

Tags

Unknown

Changes (5)

Path

Size

src/

Pure/

Admin/

Thy/

Tools/

rISABELLEd2690444c00a

src/Pure/Admin/build_log.scala

src/Pure/Admin/build_status.scala

src/Pure/Thy/export.scala

src/Pure/Thy/sessions.scala

src/Pure/Tools/build_job.scala

clarified caching;d2690444c00aActions

Description

Details

Changes (5)

rISABELLEd2690444c00a

src/Pure/Admin/build_log.scala

src/Pure/Admin/build_status.scala

src/Pure/Thy/export.scala

src/Pure/Thy/sessions.scala

src/Pure/Tools/build_job.scala

clarified caching;
d2690444c00a
Actions