Diffusion Isabelle ff86f10e54cd

tuned message;
ff86f10e54cd
Actions

Tags

None

Subscribers

None

Description

tuned message;

Details

Provenance

Authored on

Parents

rISABELLE06e045375487: tuned;

Branches

Unknown

Tags

Unknown

Event Timeline

makarius committed rISABELLEff86f10e54cd: tuned message;.Aug 25 2023, 1:56 PM

makarius mentioned this in rISABELLE193a24f78b00: proper pattern (amending ff86f10e54cd);.Tue, Aug 29, 9:55 PM

Changes (1)

Path

Size

src/

Pure/

Tools/

build_process.scala

rISABELLEff86f10e54cd

src/Pure/Tools/build_process.scala

Loading...