[isabelle-dev] Bad theory import "Main"

[Makarius]

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.


	Makarius