[isabelle-dev] Repository Trouble

Makarius 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 mailing list