Diffusion Isabelle 1d610d5524ff

clarified: proper trim_line for error;
1d610d5524ff
Actions

Tags

None

Subscribers

None

Description

clarified: proper trim_line for error;

Details

Provenance

Authored on

Parents

rISABELLEd6a664daa285: unused;

Branches

Unknown

Tags

Unknown

Event Timeline

makarius committed rISABELLE1d610d5524ff: clarified: proper trim_line for error;.Feb 21 2021, 12:24 PM

Changes (1)

Path

Size

src/

Pure/

Tools/

rISABELLE1d610d5524ff

src/Pure/Tools/ghc.ML

Loading...