coq-club AT inria.fr
Subject: The Coq mailing list
List archive
- From: Derek Dreyer <dreyer AT mpi-sws.org>
- To: coq-club AT inria.fr
- Subject: Re: [Coq-Club] Is it time...
- Date: Fri, 22 Jun 2018 20:28:02 +0200
- Authentication-results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=dreyer AT mpi-sws.org; spf=Pass smtp.mailfrom=dreyer AT mpi-sws.org; spf=None smtp.helo=postmaster AT juno.mpi-klsb.mpg.de
- Ironport-phdr: 9a23:XW66nBTgVl4v7gw9XgD1fPyCO9psv+yvbD5Q0YIujvd0So/mwa69ZBGN2/xhgRfzUJnB7Loc0qyK6/2mATRIyK3CmUhKSIZLWR4BhJdetC0bK+nBN3fGKuX3ZTcxBsVIWQwt1Xi6NU9IBJS2PAWK8TW94jEIBxrwKxd+KPjrFY7OlcS30P2594HObwlSizexfbN/IA+qoQnNq8IbnZZsJqEtxxXTv3BGYf5WxWRmJVKSmxbz+MK994N9/ipTpvws6ddOXb31cKokQ7NYCi8mM30u683wqRbDVwqP6WACXWgQjxFFHhLK7BD+Xpf2ryv6qu9w0zSUMMHqUbw5Xymp4qF2QxHqlSgHLSY0/27ZisNyjKxVrhGvqQFhzYHIb4+YL+Z+frrHcN8GWWZNQsRcWipcCY28dYsPCO8BMP5WoYbjvVsBsxi+DhSiCuP11DBJhmH53bcn2OkmDA7GxhIvHtIQv3TOt9j1Mb8SUeGswKnTwzTDdOla2TDn6IjHax0sp+yHU7FoccfJ1EUiGQfIgk+NpYHhJT+Y1eUAv3KU4uZ8Te6jlXIrpgVrrjWsxsogkJfFipwbx1ze6Cl0wok4KNulQ0Bhe9GkCoFftySCOot2XMwiR2ZotT44yr0bv567ezIGyJE/xx7ecvCHcIyI4gn4W+qLJDd4nH1ldKiiiBms6USgy+v8Wdeo0FtSsyZInN3BumoQ2xHX8MSKSfpw8l2u1DqTzwzT7/tLIUEwlarVMZ4hxbswm4IOvkTZACD3mFv5jLWNe0Uh4uio6v3rYq7op5+HLYN0jRv+Mqs2lsylHes4KhQOX3Sc+emkyLLj+lT5TKxWgf0yj6nWq4vXJd8bp668Gw9ayJwv6xe5Dze80dQXh2MLLFxfeEHPs4+8MFbXZfv8EP2XglK2kT4tyeqVEKfmB8DhI2LOk//NZ7ts5lQUnAYpwMFS/bpRErBEO+3oHEjru4qLXVcCLwWozrO/W51G3YQEVDfXW/7LAObpqVaNo9kXDayJbY4Rtiz6LqF+tfv2jDoihkRberOmj8JONCKIW89+KkDcWkLCx88bGD5R7A8mTanxl0bEViRcNS7rAvAMowojAYfjNr/tA4CghLvbhnW5A5tRIGVeCxWPFWziMYCcVLEAZXDKLw==
I thought of it, but didn't imagine the mailing list management would
support such a feature easily. If it does, then sure.
Derek
On Fri, Jun 22, 2018 at 8:26 PM Clément Pit-Claudel
<cpitclaudel AT gmail.com>
wrote:
>
> On 2018-06-22 14:18, Derek Dreyer wrote:
> > Another idea would be to not moderate posts but have a stronger
> > vetting process for determining who has the right to post rather than
> > just allowing anyone. However, this might have the effect of
> > discouraging newbies with real Coq questions.
>
> Many online forums moderate the first few posts of each new user. Could
> this work on coq-club?
>
> Clément.
- Re: [Coq-Club] Is it time..., (continued)
- Re: [Coq-Club] Is it time..., Harrison, William L., 06/22/2018
- Re: [Coq-Club] Is it time..., karsar, 06/22/2018
- Re: [Coq-Club] Is it time..., Derek Dreyer, 06/22/2018
- RE: [Coq-Club] Is it time..., Soegtrop, Michael, 06/22/2018
- Re: [Coq-Club] Is it time..., Gabriel Scherer, 06/22/2018
- Re: [Coq-Club] Is it time..., Théo Zimmermann, 06/22/2018
- Re: [Coq-Club] Is it time..., Jim Fehrle, 06/22/2018
- Re: [Coq-Club] Is it time..., Derek Dreyer, 06/22/2018
- Re: [Coq-Club] Is it time..., Pierre Vial, 06/22/2018
- Re: [Coq-Club] Is it time..., Clément Pit-Claudel, 06/22/2018
- Re: [Coq-Club] Is it time..., Derek Dreyer, 06/22/2018
- Re: [Coq-Club] Is it time..., Matthieu Sozeau, 06/22/2018
- Re: [Coq-Club] Is it time..., Hugo Herbelin, 06/23/2018
- Re: [Coq-Club] Is it time..., Derek Dreyer, 06/23/2018
- Re: [Coq-Club] Is it time..., Derek Dreyer, 06/23/2018
- Re: [Coq-Club] Is it time..., Benjamin Pierce, 06/23/2018
- Re: [Coq-Club] Is it time..., Derek Dreyer, 06/23/2018
- Re: [Coq-Club] Is it time..., Benjamin C. Pierce, 06/23/2018
- Re: [Coq-Club] Is it time..., Hugo Herbelin, 06/30/2018
- Re: [Coq-Club] Is it time..., Gabriel Scherer, 06/30/2018
- Re: [Coq-Club] Is it time..., Jim Fehrle, 06/30/2018
- Re: [Coq-Club] Is it time..., Gabriel Scherer, 06/22/2018
- RE: [Coq-Club] Is it time..., Soegtrop, Michael, 06/22/2018
- Re: [Coq-Club] Is it time..., Derek Dreyer, 06/22/2018
Archive powered by MHonArc 2.6.18.