[isabelle-dev] test failed (Archive of Formal Proofs)

Peter Gammie 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 mailing list