[isabelle-dev] Bad theory import "Main"

Makarius makarius at sketis.net
Mon Apr 24 14:52:14 CEST 2017

On 24/04/17 14:46, Lars Hupel wrote:
> Then, out of the blue, you stopped caring,
> unsubscribed for strange reasons from the CI list and started calling
> Jenkins a "monster" and a "waste of resources".
> It is because of that that I'm having a hard time believing that you're
> willing to engage in constructive dialog about regression testing anymore.
> You claim that you "did not get any answers". In reality, you got all
> the answers and ignored them.

This is still "blame game".

I actually offered an open dialog about it last December, and you
rejected that.


More information about the isabelle-dev mailing list