Diffusion Isabelle 24e686fe043e

clarified Log_File.cache: reuse existing Store.cache / Build_Log.Store.cache;
24e686fe043e
Actions

Tags

None

Subscribers

None

Description

clarified Log_File.cache: reuse existing Store.cache / Build_Log.Store.cache;

Details

Provenance

Authored on

Parents

rISABELLE417b490c9b89: proper ml_statistics (amending aeb511a520f4);

Branches

Unknown

Tags

Unknown

Event Timeline

makarius committed rISABELLE24e686fe043e: clarified Log_File.cache: reuse existing Store.cache / Build_Log.Store.cache;.Sat, Nov 18, 4:58 PM

Changes (3)

Path

Size

src/

Pure/

Admin/

build_history.scala

build_log.scala

Tools/

build_job.scala

rISABELLE24e686fe043e

src/Pure/Admin/build_history.scala

Loading...

src/Pure/Admin/build_log.scala

Loading...

src/Pure/Tools/build_job.scala

Loading...