Diffusion Isabelle 5ee978b3c009

tuned messages;
5ee978b3c009
Actions

Tags

None

Subscribers

None

Description

tuned messages;

Details

Provenance

Authored on

Parents

rISABELLEca56952b7322: proper stop of build_process shutdown, despite errors on workers;

Branches

Unknown

Tags

Unknown

Event Timeline

makarius committed rISABELLE5ee978b3c009: tuned messages;.Sun, Sep 3, 4:47 PM

Changes (1)

Path

Size

src/

Pure/

Tools/

rISABELLE5ee978b3c009

src/Pure/Tools/build.scala

Loading...