HomeIsabelle/Phabricator
Diffusion afp-devel b656d667755f

sitegen;
b656d667755f
Actions

Description

sitegen;

Details

Provenance
Fabian Huch <huch@in.tum.de>Authored on
Parents
rAFP52dd5483136f: change web path to /sessions/ instead of /theories/ for consistent naming…
Branches
Unknown
Tags
Unknown

Event Timeline

Fabian Huch <huch@in.tum.de> committed rAFPb656d667755f: sitegen;.Oct 5 2023, 7:55 PM

Very Large Commit

This commit is very large, and affects more than 1000 files. Changes are not shown.