HomeIsabelle/Phabricator

clarified formatting, for the sake of scala3;

Description

clarified formatting, for the sake of scala3;

Details

Provenance
Fabian Huch <huch@in.tum.de>Authored on
Parents
rAFP6fa42d26ade3: hugo site: better scrolling;
Branches
Unknown
Tags
Unknown