Diffusion Isabelle 3b36fc4916af

removed LaTeX package and hack to avoid ALLCAPS headers
3b36fc4916af
Actions

Tags

None

Subscribers

None

Description

removed LaTeX package and hack to avoid ALLCAPS headers

Details

Provenance

Authored on

Parents

rISABELLEc7d19729456c: use friendlier package

Branches

Unknown

Tags

Unknown

Event Timeline

blanchette committed rISABELLE3b36fc4916af: removed LaTeX package and hack to avoid ALLCAPS headers.Apr 17 2020, 5:32 PM

makarius mentioned this in rISABELLEc4e0d29cf1ca: discontinued somewhat incoherent patches (see also 3b36fc4916af);.Apr 17 2020, 10:16 PM

Changes (2)

Path

Size

src/

Doc/

Datatypes/

document/

rISABELLE3b36fc4916af

src/Doc/Datatypes/Datatypes.thy

Loading...

src/Doc/Datatypes/document/root.tex

Loading...