On Thu, 20 Dec 2012, Alexander Krauss wrote:
(2) The local sysadmins are working on replacement of the Mercurial
2.4 from SuSE 12.2, which is potentially the cause problems here.
Replacement with what? Going to an older version is no solution in the
long run. The changes between 2.4 and 2.4.1 do not look relevant to me.
Some older version like 2.1.1, where we did not have problems as far as I
remember. This would buy is at least a few weeks of rethinking the
strategy.
Makarius
_______________________________________________
isabelle-dev mailing list
[email protected]
https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev
