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

[Peter Gammie]

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.

cheers,
peter