[isabelle-dev] test failed (Archive of Formal Proofs)
peteg42 at gmail.com
Tue Nov 17 16:54:57 CET 2015
On 17 Nov 2015, at 22:50, Lars Hupel <hupel at 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.
More information about the isabelle-dev