Diffusion afp-devel 925369e69fe3

Updated metadata in migration and theory view;
925369e69fe3
Actions

Tags

None

Subscribers

None

Description

Updated metadata in migration and theory view;

Details

Provenance

Fabian Huch <huch@in.tum.de>

Authored on

Parents

rAFPcef40d0c3c62: hugo site: updated site templates;

Branches

Unknown

Tags

Unknown

Event Timeline

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

rAFP925369e69fe3

tools/afp_site_gen.scala

Loading...

tools/migration/afp_migrate_metadata.scala

Loading...