Diffusion Isabelle 6abbbbebdd69

clarified LaTeX style;
6abbbbebdd69
Actions

Tags

None

Subscribers

None

Description

clarified LaTeX style;

Details

Provenance

Authored on

Parents

rISABELLE8dbb0b2f6576: support for Springer LLNCS with demo document;

Branches

Unknown

Tags

Unknown

Event Timeline

makarius committed rISABELLE6abbbbebdd69: clarified LaTeX style;.Nov 4 2022, 8:32 PM

Changes (3)

Path

Size

src/

Doc/

Demo_Easychair/

document/

Demo_LIPIcs/

document/

Demo_LLNCS/

document/

rISABELLE6abbbbebdd69

src/Doc/Demo_Easychair/document/root.tex

Loading...

src/Doc/Demo_LIPIcs/document/root.tex

Loading...

src/Doc/Demo_LLNCS/document/root.tex

Loading...