Dear Isabelle developers,
yesterday I've upgraded some of our infrastructure and changed some of
the settings to accommodate for the new x86_64_32 architecture. Except
for the benchmark sessions, everything appears to run smoothly again.
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.
Cheers
Lars
_______________________________________________
isabelle-dev mailing list
[email protected]
https://mailman46.in.tum.de/mailman/listinfo/isabelle-dev
