Diffusion afp-devel d1a781d9fb9c

hugo site: list sessions separately;
d1a781d9fb9c
Actions

Tags

None

Subscribers

None

Description

hugo site: list sessions separately;

Details

Provenance

Fabian Huch <huch@in.tum.de>

Authored on

Parents

rAFP9f4523b8ed97: hugo site: tuned;

Branches

Unknown

Tags

Unknown

Event Timeline

Fabian Huch <huch@in.tum.de> committed rAFPd1a781d9fb9c: 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

rAFPd1a781d9fb9c

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...