Diffusion afp-devel 730ef3512e60

added theory navbar;
730ef3512e60
Actions

Tags

None

Subscribers

None

Description

added theory navbar;

Details

Provenance

Fabian Huch <huch@in.tum.de>

Authored on

Parents

rAFP106ca635d302: tuned formatting;

Branches

Unknown

Tags

Unknown

Event Timeline

Fabian Huch <huch@in.tum.de> committed rAFP730ef3512e60: added theory navbar;.Dec 13 2021, 1:50 PM

Changes (12)

Path

Size

layouts/

partials/

theory-navigation.html

theories/

rAFP730ef3512e60

admin/site/themes/afp/layouts/partials/head.html

Loading...

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

Loading...

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

Loading...

admin/site/themes/afp/static/js/scroll-spy.js

Loading...

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

Loading...

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

Loading...