Diffusion Isabelle ac19229c9f31

tuned document;
ac19229c9f31
Actions

Tags

None

Subscribers

None

Description

tuned document;

Details

Provenance

Authored on

Parents

rISABELLE4a3a105ecbcc: tuned document;

Branches

Unknown

Tags

Unknown

Event Timeline

makarius committed rISABELLEac19229c9f31: tuned document;.Nov 4 2022, 8:56 PM

Changes (2)

Path

Size

src/

Doc/

Demo_Easychair/

document/

Demo_FoilTeX/

document/

rISABELLEac19229c9f31

src/Doc/Demo_Easychair/document/root.tex

Loading...

src/Doc/Demo_FoilTeX/document/root.tex

Loading...