[isabelle-dev] Repository trouble -- again

[Makarius]

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.


 	Makarius