Stream: Mirror: Isabelle Development Mailing List

Topic: Off-line?

view this post on Zulip Email Gateway (Aug 06 2025 at 10:15):

From: Lawrence Paulson via isabelle-dev <isabelle-dev@mailman.proof.cit.tum.de>
The repository seems to be inaccessible at the moment, at least to me
Larry

view this post on Zulip Email Gateway (Aug 06 2025 at 12:59):

From: Fabian Huch <huch@in.tum.de>
The https version of the TUM repository is, sadly, regularly not
reachable due to AI crawlers. The SSH version is sometimes slow but
should work. For web access, you can use the Phorge instance on
sketis.net [1] (which is login-protected to avoid this problem), or the
raw repository view [2].

Fabian

[1]: https://isabelle-dev.sketis.net/repos/isabelle

[2]: https://isabelle.sketis.net/repos/isabelle/

On 8/6/25 12:14, Lawrence Paulson via isabelle-dev wrote:

The repository seems to be inaccessible at the moment, at least to me
Larry

Last updated: Aug 31 2025 at 20:21 UTC