On 26/03/2019 10:13, Lars Hupel wrote: > > However, we have noticed that the Mercurial version running on > isabelle.in.tum.de was ancient (2011) and wouldn't talk to the current > 4.9.x anymore. Accordingly, we had to upgrade it. If you are pulling the > Isabelle repository through HTTP from this host, please try if it still > works and let me know if there are any problems.
Thanks for keeping an eye on that. The old version of Mercurial could explain why I've seen occasional problems with https access in the past 6 months. A result of that was the ssh-clone at https://isabelle.sketis.net/repos that is updated every 10 minutes. Makarius _______________________________________________ isabelle-dev mailing list [email protected] https://mailman46.in.tum.de/mailman/listinfo/isabelle-dev
