[isabelle-dev] Repository trouble -- again

Makarius makarius at sketis.net
Sun Aug 12 21:44:16 CEST 2012

On Sun, 12 Aug 2012, Alexander Krauss wrote:

> On 08/12/2012 06:50 PM, Makarius wrote:
>> I am just waiting for Alex (or anybody else who might potentially apply
>> some administrative operations to the bare metal repository) to confirm
>> that we are ready for the exchange.
> Do go ahead! I have a copy of the old clone, but it does not tell me much 
> anyway.

Done.  So we now have a fresh clone based on the Mercurial 1.3 format.

I've left the old clone behind as isabelle_2008-2012 in the same 
directory, with all of its accumulated cruft and funny permissions, just 
in case we need to do further archeology later.


More information about the isabelle-dev mailing list