Page MenuHomeIsabelle/Phabricator

Hosting of Isabelle/AFP after Jun-2020
Closed, ResolvedPublic

Description

Bitbucket will kill all its Mercurial repositories on 01-Jul-2020, see also:

It is the responsibility of the AFP editors to come up with a plan that fits to the underlying technology: Isabelle with its existing tooling for Mercurial (e.g. for long-term test data, paring of Isabelle vs. AFP changeset ids).