[isabelle-dev] Rules of conduct

Tobias Nipkow nipkow at in.tum.de
Sun Aug 19 18:02:23 CEST 2012


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-dev at in.tum.de
> https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev



More information about the isabelle-dev mailing list