Diffusion Isabelle e8da2cfdfcff

more robust (amending a4d7da18ac5c);
e8da2cfdfcff
Actions

Tags

None

Subscribers

None

Description

more robust (amending a4d7da18ac5c);

Details

Provenance

Authored on

Parents

rISABELLE80ae03520fda: merged

Branches

Unknown

Tags

Unknown

Event Timeline

makarius committed rISABELLEe8da2cfdfcff: more robust (amending a4d7da18ac5c);.Nov 28 2020, 1:49 PM

Changes (1)

Path

Size

src/

Pure/

Admin/

build_log.scala

rISABELLEe8da2cfdfcff

src/Pure/Admin/build_log.scala

Loading...