Diffusion afp-devel f1fb5d9cc8b2

Updated metadata in migration and theory view;
f1fb5d9cc8b2
Actions

Tags

None

Subscribers

None

Description

Updated metadata in migration and theory view;

Details

Provenance

Fabian Huch <huch@in.tum.de>

Authored on

Parents

rAFP8f595e5bd261: hugo site: updated site templates;

Branches

Unknown

Tags

Unknown

Event Timeline

Fabian Huch <huch@in.tum.de> committed rAFPf1fb5d9cc8b2: Updated metadata in migration and theory view;.Feb 14 2022, 5:31 PM

Changes (2)

Path

Size

tools/

afp_site_gen.scala

migration/

afp_migrate_metadata.scala

rAFPf1fb5d9cc8b2

tools/afp_site_gen.scala

Loading...

tools/migration/afp_migrate_metadata.scala

Loading...