Diffusion Isabelle d052d61da398

prefer cartouches over quotes for clarity of resulting document
d052d61da398
Actions

Tags

None

Subscribers

None

Description

prefer cartouches over quotes for clarity of resulting document

Details

Provenance

florian.haftmann

Authored on

Parents

rISABELLE3032bc7d613d: A little reorganisation

Branches

Unknown

Tags

Unknown

Event Timeline

florian.haftmann committed rISABELLEd052d61da398: prefer cartouches over quotes for clarity of resulting document.Sep 13 2023, 7:08 PM

makarius mentioned this in rISABELLE46891e209d72: proper fontenc for cartouches (amending d052d61da398);.Sep 22 2023, 12:16 AM

Changes (1)

Path

Size

src/

Doc/

Classes/

rISABELLEd052d61da398

src/Doc/Classes/Classes.thy

Loading...