On 23/05/2012, at 10:17 PM, Gerwin Klein wrote: > The AFP is now on freeze until the update to 2012 is out.
AFP 2012 is out now and about to be announced. The repository is back to normal and open for normal commit traffic again. Cheers, Gerwin _______________________________________________ isabelle-dev mailing list isabelle-...@in.tum.de https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev
