Stream: General

Topic: publicly accessible mirror of isabelle

view this post on Zulip irvin (Aug 01 2025 at 11:56):

Hi I've noticed that isabelle.in.tum.de/repos is down and sketis is inaccessible without a login is there any other publicly accessible mercurial mirrors?

view this post on Zulip Fabian Huch (Aug 01 2025 at 12:01):

The repository itself on sketis.net is available without a login.

view this post on Zulip irvin (Aug 01 2025 at 12:04):

Thanks

view this post on Zulip Fabian Huch (Aug 01 2025 at 12:07):

There are also GitHub mirrors but there the commit ids of course don't line up.

Last updated: Aug 23 2025 at 01:39 UTC