Page MenuHomeIsabelle/Phabricator

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


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).

Event Timeline

makarius triaged this task as High priority.Feb 10 2020, 8:46 PM
makarius created this task.

An Atlassian / Bitbucket spokesperson says "there are no plans to remove Hg from SourceTree" (see

But note that Atlassian is not very trustworthy in its statements.

makarius updated the task description. (Show Details)Feb 11 2020, 7:21 PM
makarius updated the task description. (Show Details)May 6 2020, 12:13 PM