Diffusion afp-devel 5ed4d30b8123

regenerate site;
5ed4d30b8123
Actions

Tags

None

Subscribers

None

Description

regenerate site;

Details

Provenance

Fabian Huch <huch@in.tum.de>

Authored on

Parents

rAFP6a77e500b156: tuned links in theory view;

Branches

Unknown

Tags

Unknown

Event Timeline

Fabian Huch <huch@in.tum.de> committed rAFP5ed4d30b8123: regenerate site;.Jul 31 2023, 6:10 PM

Changes (2)

Path

Size

web/

js/

submission/

rAFP5ed4d30b8123

web/js/theory.js

Loading...

web/submission/index.html

Loading...