Diffusion Isabelle cda63f26d0cb

proper pattern (amending 40a365360680);
cda63f26d0cb
Actions

Tags

None

Subscribers

None

Description

proper pattern (amending 40a365360680);

Details

Provenance

Authored on

Parents

rISABELLEe4f164d864dc: more timing;

Branches

Unknown

Tags

Unknown

Event Timeline

makarius committed rISABELLEcda63f26d0cb: proper pattern (amending 40a365360680);.Nov 3 2022, 4:08 PM

Changes (1)

Path

Size

src/

Pure/

PIDE/

rISABELLEcda63f26d0cb

src/Pure/PIDE/document.ML

Loading...