Dear Alex, You will have seen a number of further messages on this issue. It was consensus that the quoted sentence was not acceptable and Makarius offered his apology. I assume that is the reaction you had hoped for and that you will continue to be part of the community.
It seems to me that this incident had a sobering effect on everybody and has made it clear that rude, insulting or offensive emails are not tolerated on this list (or its companion isabelle-users). Best regards Tobias Am 17/08/2012 23:17, schrieb Alexander Krauss: > Dear all, > >> 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 community. > > Alex > _______________________________________________ > isabelle-dev mailing list > isabelle-...@in.tum.de > https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev _______________________________________________ isabelle-dev mailing list isabelle-...@in.tum.de https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev