[isabelle-dev] Rules of conduct
krauss at in.tum.de
Fri Aug 17 23:17:20 CEST 2012
> Tjark, you have no business here.
This is, finally, too much for me!
I trust that the community as a whole will come to the conclusion that
the quoted reaction is completely inapproriate. In particular since
any rules that may have been violated are not clearly stated anywhere
and were never pointed out to Tjark (or anyone else, AFAIK), let alone
agreed upon explicitly by more than one person.
I will not be able to take part in the discussion itself, since I'll
be away, but I hope that I am not the only one who feels very bad
about a former collegue being treated like this.
Should there be no such clear and outspoken conclusion, I'll know that
I have no place here any longer and will no longer participate in this
More information about the isabelle-dev