Diffusion Isabelle 9939146b90ad

proper \usepackage[T1]{fontenc};
9939146b90ad
Actions

Tags

None

Subscribers

None

Description

proper \usepackage[T1]{fontenc};

Details

Provenance

Authored on

Parents

rISABELLE8510c6e98228: more robust init: avoid spilling opam artifacts;

Branches

Unknown

Tags

Unknown

Event Timeline

makarius committed rISABELLE9939146b90ad: proper \usepackage[T1]{fontenc};.Mar 10 2021, 8:09 PM

Changes (3)

Path

Size

src/

HOL/

Bali/

document/

Hoare/

document/

Proofs/

Lambda/

document/

rISABELLE9939146b90ad

src/HOL/Bali/document/root.tex

Loading...

src/HOL/Hoare/document/root.tex

Loading...

src/HOL/Proofs/Lambda/document/root.tex

Loading...