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

Lars Hupel hupel at in.tum.de
Tue Nov 17 16:50:06 CET 2015


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



More information about the isabelle-dev mailing list