Diffusion Isabelle 2cc9bd9a7357

discontinue fragile check in LaTeX, e.g. problems with toc entries;
2cc9bd9a7357
Actions

Tags

None

Subscribers

None

Description

discontinue fragile check in LaTeX, e.g. problems with toc entries;

Details

Provenance

Authored on

Parents

rISABELLE41fc655585e4: merged

Branches

Unknown

Tags

Unknown

Event Timeline

makarius committed rISABELLE2cc9bd9a7357: discontinue fragile check in LaTeX, e.g. problems with toc entries;.Mar 23 2021, 1:13 PM

Changes (2)

Path

Size

lib/

texinputs/

isabellesym.sty

rISABELLE2cc9bd9a7357

lib/texinputs/isabelle.sty

Loading...

lib/texinputs/isabellesym.sty

Loading...