HomeIsabelle/Phabricator

hugo site: proper theory view link scrolling;

Description

hugo site: proper theory view link scrolling;

Details

Provenance
Fabian Huch <huch@in.tum.de>Authored on
Parents
rAFPd406e40678a5: hugo site: tuned affiliation keys;
Branches
Unknown
Tags
Unknown