On 17 Nov 2015, at 22:50, Lars Hupel <hu...@in.tum.de> wrote: > >> 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?
Nope, that’s the one. Thanks! Sorry for the noise. My hg foo is weak. :-) Just be glad I didn’t blow up the whole repo somehow. So… I guess we find out tomorrow if that fixes^Wrepairs things. cheers, peter _______________________________________________ isabelle-dev mailing list isabelle-...@in.tum.de https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev
