[isabelle-dev] Repository trouble -- again

Alexander Krauss krauss at in.tum.de
Sun Aug 12 21:34:05 CEST 2012


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.

Alex



More information about the isabelle-dev mailing list