[isabelle-dev] Repository Trouble

[Makarius]

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