HomeIsabelle/Phabricator

merge from AFP 2024 (manually removed web/naproche... on conflicting merge)

Description

merge from AFP 2024 (manually removed web/naproche... on conflicting merge)

Merged Changes

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