Off-line?

[Fabian Huch]

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
>