Diffusion afp-devel a10b74bad3f1

use emph instead of italic;
a10b74bad3f1
Actions

Tags

None

Subscribers

None

Description

use emph instead of italic;

Details

Provenance

Fabian Huch <huch@in.tum.de>

Authored on

Parents

rAFP7b3ccda1eee6: tuned;

Branches

Unknown

Tags

Unknown

Event Timeline

Fabian Huch <huch@in.tum.de> committed rAFPa10b74bad3f1: use emph instead of italic;.Mar 26 2024, 3:53 PM

Changes (1)

Path

Size

tools/

rAFPa10b74bad3f1

tools/web_app.scala

Loading...