HomeIsabelle/Phabricator

merge from afp-2021-1

Description

merge from afp-2021-1

Details

Provenance
kleingAuthored on
Parents
rAFPe57f56bb8585: ignore generated files
rAFP723ed8c9c308: set devel version again
Branches
Unknown
Tags
Unknown

Merged Changes

This commit merges a very large number of changes. Only the first 50 are shown.