Diffusion Isabelle 193a24f78b00

proper pattern (amending ff86f10e54cd);
193a24f78b00
Actions

Tags

None

Subscribers

None

Description

proper pattern (amending ff86f10e54cd);

Details

Provenance

Authored on

Parents

rISABELLE209607465a90: discontinue odd AFP partitioning: let Build_Cluster / Build_Engine do the job;

Branches

Unknown

Tags

Unknown

Event Timeline

makarius committed rISABELLE193a24f78b00: proper pattern (amending ff86f10e54cd);.Tue, Aug 29, 9:54 PM

Changes (1)

Path

Size

src/

Pure/

Admin/

build_log.scala

rISABELLE193a24f78b00

src/Pure/Admin/build_log.scala

Loading...