Diffusion Isabelle fb6953e77000

eliminated pointless flag (see also 6533ceee4cd7);
fb6953e77000
Actions

Tags

None

Subscribers

None

Description

eliminated pointless flag (see also 6533ceee4cd7);

Details

Provenance

Authored on

Parents

rISABELLE5730eb952208: tuned;

Branches

Unknown

Tags

Unknown

Event Timeline

makarius committed rISABELLEfb6953e77000: eliminated pointless flag (see also 6533ceee4cd7);.Mar 28 2020, 7:11 PM

Changes (4)

Path

Size

src/

Pure/

PIDE/

Thy/

Tools/

rISABELLEfb6953e77000

src/Pure/PIDE/session.ML

Loading...

src/Pure/Thy/present.ML

Loading...

src/Pure/Tools/build.ML

Loading...

src/Pure/Tools/build.scala

Loading...