Diffusion afp-devel 7da83db46b4e

hugo site: list sessions separately;
7da83db46b4e
Actions

Tags

None

Subscribers

None

Description

hugo site: list sessions separately;

Details

Provenance

Fabian Huch <huch@in.tum.de>

Authored on

Parents

rAFP29d18d1d10fe: hugo site: tuned;

Branches

Unknown

Tags

Unknown

Event Timeline

Fabian Huch <huch@in.tum.de> committed rAFP7da83db46b4e: hugo site: list sessions separately;.Mar 20 2022, 6:09 PM

Changes (4)

Path

Size

admin/

site/

themes/

afp/

layouts/

entries/

partials/

theory-navigation.html

static/

js/

tools/

afp_site_gen.scala

rAFP7da83db46b4e

admin/site/themes/afp/layouts/entries/single.html

Loading...

admin/site/themes/afp/layouts/partials/theory-navigation.html

Loading...

admin/site/themes/afp/static/js/theory.js

Loading...

tools/afp_site_gen.scala

Loading...