Diffusion Isabelle 8b464825d2b5

removed unused latex packages;
8b464825d2b5
Actions

Tags

None

Subscribers

None

Description

removed unused latex packages;

Details

Provenance

Authored on

Parents

rISABELLEe488f4bb1c79: obsolete (see 0c837beeb5e7);

Branches

Unknown

Tags

Unknown

Event Timeline

makarius committed rISABELLE8b464825d2b5: removed unused latex packages;.Mar 9 2021, 6:44 PM

Changes (9)

Path

Size

src/

Doc/

Classes/

document/

Codegen/

document/

Corec/

document/

Datatypes/

document/

Eisbach/

document/

Functions/

document/

Implementation/

document/

Isar_Ref/

document/

Tutorial/

document/

rISABELLE8b464825d2b5

src/Doc/Classes/document/root.tex

Loading...

src/Doc/Codegen/document/root.tex

Loading...

src/Doc/Corec/document/root.tex

Loading...

src/Doc/Datatypes/document/root.tex

Loading...

src/Doc/Eisbach/document/root.tex

Loading...

src/Doc/Functions/document/root.tex

Loading...

src/Doc/Implementation/document/root.tex

Loading...

src/Doc/Isar_Ref/document/root.tex

Loading...

src/Doc/Tutorial/document/root.tex

Loading...