The Coq mailing list

[Greg Morrisett <greg AT eecs.harvard.edu>]

This isn't a very welcoming attitude if you want to grow the Coq 
community.  Perhaps we should have some ready canned responses that
point people to resources (e.g., the FAQ, SF, CPDT, the IRC, etc.) 
but in a polite fashion.

-Greg

On Nov 24, 2011, at 10:55 AM, Alexandre Pilkiewicz wrote:

> Dear all,
> 
> Can we try to stop feeding the troll by answering obviously trivial
> questions? No answers are ever read, nor any documentation, advice,
> proof, or anything. It's therefore a lost of time for everyone, and
> useless noise on the list. And private answers are similarly useless,
> since they are obviously not read either, but resent to the entire
> list. The only solution is to just bite our fingers, and not answers.
> 
> Thanks a lot,
> 
> Alexandre Pilkiewicz