HomeIsabelle/Phabricator
Diffusion afp-devel a40fc791abac

tuned;
a40fc791abac
Actions

Description

tuned;
clarified hugo;

Details

Provenance
Fabian Huch <huch@in.tum.de>Authored on
Parents
rAFP3e1f6e97fb35: added hugo project by Carlin MacKenzie;
Branches
Unknown
Tags
Unknown

Event Timeline

Fabian Huch <huch@in.tum.de> committed rAFPa40fc791abac: tuned;.Nov 12 2021, 4:15 PM

Changes (1)

PathSize
tools/

rAFPa40fc791abac

View Options

tools/hugo.scala

Loading...