Stream: Beginner Questions

Topic: Cloning the development repository

Mario Xerxes Castelán Castro (Nov 29 2025 at 00:54):

How can I clone the Isabelle repository? I tried hg clone https://isabelle.in.tum.de/repos/isabelle and I got
abort: error: Connection reset by peer

Mario Xerxes Castelán Castro (Nov 29 2025 at 00:57):

Also, where are the build instructions?

Mathias Fleury (Nov 29 2025 at 09:17):

Mario Xerxes Castelán Castro said:

Also, where are the build instructions?

https://isabelle.in.tum.de/repos/isabelle/file/tip/README_REPOSITORY

Mathias Fleury (Nov 29 2025 at 09:17):

Mario Xerxes Castelán Castro said:

How can I clone the Isabelle repository? I tried hg clone https://isabelle.in.tum.de/repos/isabelle and I got
abort: error: Connection reset by peer

Makarius is fighting crawler attacks, he might have broken the repo…

Mario Xerxes Castelán Castro (Nov 29 2025 at 22:43):

Has Makarius considered using a CDN service?

Mario Xerxes Castelán Castro (Nov 29 2025 at 22:44):

This one is free and claims to have a free software (FLOSS) version <http://bunkerweb.io/>.

Last updated: Dec 08 2025 at 08:34 UTC