Diffusion Isabelle cd7eb3cdab4c

support for index entries;
cd7eb3cdab4c
Actions

Tags

None

Subscribers

None

Description

support for index entries;

Details

Provenance

Authored on

Parents

rISABELLEd4202c13bfba: tuned;

Branches

Unknown

Tags

Unknown

Event Timeline

makarius committed rISABELLEcd7eb3cdab4c: support for index entries;.May 20 2021, 6:16 PM

Changes (3)

Path

Size

lib/

texinputs/

src/

Pure/

Thy/

document_antiquotations.ML

rISABELLEcd7eb3cdab4c

lib/texinputs/isabelle.sty

Loading...

src/Pure/Thy/document_antiquotations.ML

Loading...

src/Pure/Thy/latex.ML

Loading...