Diffusion Isabelle fd8d82c4433b

more accurate markup (refining 1c59b555ac4a);
fd8d82c4433b
Actions

Tags

None

Subscribers

None

Description

more accurate markup (refining 1c59b555ac4a);

Details

Provenance

Authored on

Parents

rISABELLE6b96464066a0: tuned signature --- more operations;

Branches

Unknown

Tags

Unknown

Event Timeline

makarius committed rISABELLEfd8d82c4433b: more accurate markup (refining 1c59b555ac4a);.Dec 7 2020, 4:09 PM

makarius mentioned this in rAFPb8e228d01fed: adapted to Isabelle/fd8d82c4433b;.Dec 10 2020, 1:58 PM

Changes (8)

Path

Size

src/

Pure/

PIDE/

Thy/

document_antiquotations.ML

Tools/

generated_files.ML

Tools/

Code/

rISABELLEfd8d82c4433b

src/Pure/PIDE/command.ML

Loading...

src/Pure/PIDE/markup.ML

Loading...

src/Pure/PIDE/resources.ML

Loading...

src/Pure/Pure.thy

Loading...

src/Pure/Thy/document_antiquotations.ML

Loading...

src/Pure/Thy/sessions.ML

Loading...

src/Pure/Tools/generated_files.ML

Loading...

src/Tools/Code/code_target.ML

Loading...