Diffusion Isabelle be49c660ebbf

more markup, e.g. to locate defining theory node in formal document output;
be49c660ebbf
Actions

Tags

None

Subscribers

None

Description

more markup, e.g. to locate defining theory node in formal document output;

Details

Provenance

Authored on

Parents

rISABELLE839a6e284545: tuned signature;

Branches

Unknown

Tags

Unknown

Event Timeline

makarius committed rISABELLEbe49c660ebbf: more markup, e.g. to locate defining theory node in formal document output;.Sep 7 2021, 10:35 PM

makarius mentioned this in rISABELLE76dd79530650: proper markup type (amending be49c660ebbf);.Nov 3 2021, 10:59 PM

makarius mentioned this in rISABELLE34dd96a06c45: removed unused "def_theory" markup (stemming from be49c660ebbf), superseded e.g..Aug 26 2022, 11:33 PM

Changes (4)

Path

Size

src/

Pure/

General/

PIDE/

rISABELLEbe49c660ebbf

src/Pure/General/name_space.ML

Loading...

src/Pure/General/position.scala

Loading...

src/Pure/PIDE/markup.ML

Loading...

src/Pure/PIDE/markup.scala

Loading...