On 23/05/2012, at 9:28 PM, Makarius wrote: > * Gerwin should know what needs to be done to release AFP for > Isabelle2012.
The AFP is now on freeze until the update to 2012 is out. I will be branching off for the release itself, but to keep the merge back simple, please refrain from committing to the AFP repository until the release is out. Since everything is building fine at the moment I'm hoping for this to happen in no more than a day or two. Cheers, Gerwin _______________________________________________ isabelle-dev mailing list [email protected] https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev
