Stream: Mirror: Isabelle Development Mailing List

Topic: The repository is unresponsive

view this post on Zulip Email Gateway (May 07 2026 at 11:15):

From: Lawrence Paulson via isabelle-dev <isabelle-dev@mailman.proof.cit.tum.de>

hg fetch does not terminate.

Larry

view this post on Zulip Email Gateway (May 07 2026 at 16:28):

From: Makarius <makarius@sketis.net>

On 07/05/2026 13:09, Lawrence Paulson via isabelle-dev wrote:

hg fetch does not terminate.

It looks fine right now.

Makarius

Last updated: May 15 2026 at 10:26 UTC