Diffusion Isabelle 5fca489a6ac1

tuned output --- less redundancy;
5fca489a6ac1
Actions

Tags

None

Subscribers

None

Description

tuned output --- less redundancy;

Details

Provenance

Authored on

Parents

rISABELLEa1a316442a9b: tuned whitespace;

Branches

Unknown

Tags

Unknown

Event Timeline

makarius committed rISABELLE5fca489a6ac1: tuned output --- less redundancy;.Nov 13 2021, 5:26 PM

Changes (1)

Path

Size

src/

Pure/

Thy/

rISABELLE5fca489a6ac1

src/Pure/Thy/latex.ML

Loading...