[isabelle-dev] Mercurial update

Makarius makarius at sketis.net
Tue Mar 26 11:15:15 CET 2019


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




More information about the isabelle-dev mailing list