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
_______________________________________________
isabelle-dev mailing list
isabelle-...@in.tum.de
https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev
