[isabelle-dev] Repository Trouble
makarius at sketis.net
Fri Dec 21 10:46:24 CET 2012
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
More information about the isabelle-dev