HomeIsabelle/Phabricator

afp metadata/releases: change format to re-add releases swallowed by key-set…

Description

afp metadata/releases: change format to re-add releases swallowed by key-set, remove extra releases;

Details

Provenance
Fabian Huch <huch@in.tum.de>Authored on
Parents
rAFP3dae4e3a4915: re-introduce accidentally reverted changes
Branches
Unknown
Tags
Unknown