Hello Peter, > The email claims that this build includes my patch.
according to the log the AFP id is e6d87060e398, which doesn't include your patch (82552632a098). Or are you talking about another patch? Cheers Lars _______________________________________________ isabelle-dev mailing list isabelle-...@in.tum.de https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev
