[isabelle-dev] Repository trouble -- again
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
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