coq-club AT inria.fr

Subject: The Coq mailing list

List archive

RE: [Coq-Club] Is it time...

From: "Soegtrop, Michael" <michael.soegtrop AT intel.com>
To: "coq-club AT inria.fr" <coq-club AT inria.fr>
Subject: RE: [Coq-Club] Is it time...
Date: Fri, 22 Jun 2018 12:58:41 +0000
Accept-language: de-DE, en-US
Authentication-results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=michael.soegtrop AT intel.com; spf=Pass smtp.mailfrom=michael.soegtrop AT intel.com; spf=None smtp.helo=postmaster AT mga09.intel.com
Ironport-phdr: 9a23:3QRmoBy3kgQV8gHXCy+O+j09IxM/srCxBDY+r6Qd2+8UIJqq85mqBkHD//Il1AaPAd2Graocw8Pt8InYEVQa5piAtH1QOLdtbDQizfssogo7HcSeAlf6JvO5JwYzHcBFSUM3tyrjaRsdF8nxfUDdrWOv5jAOBBr/KRB1JuPoEYLOksi7ze+/94HTbglSmDaxfa55IQmrownWqsQYm5ZpJLwryhvOrHtIeuBWyn1tKFmOgRvy5dq+8YB6/ShItP0v68BPUaPhf6QlVrNYFygpM3o05MLwqxbOSxaE62YGXWUXlhpIBBXF7A3/U5zsvCb2qvZx1S+HNsDwULs6Wymt771zRRHolikJKiI5/m/UhMx+jq1boQ6uqBNwzYPPfIGaL/5zcr/Bcd8GR2dMWNtaWSxbAoO7aosCF+QNM/tfr4bjqFsOsQG+BQ60BO/31zRGgX720rE60+s7Dw7G2AIsFM8JvXTRrdX6KKcSXvqrw6nM1znDdPRW1iny6IjUaBAhpumMUKlxccrX1UkgCQfFgk+MpoziOjOYz+IAuHWV4epnUOKgkW8nqwdprziuwMcslpfGhoYPxl/Z6yp0xps+K96gSENjfNKpHpRduzuHO4Z4Tc4uWXxktSg7x7Ecp5K2czAGxIkmyhPRcfCKfYaF7gj9WOufJTp0nm9pdbGhixqq7ESty+nxWtOq3FtKoSdJiMfAumoQ2xHc68WKTOZ28F271jaVzQ/T7/lJIUAqmqrfLJ4s2rswlpUJvkjfGiL6gkT2jKmKdko6/uik8fjoYrLjppOENo90jB/xMrg2l8CiD+k1PRICU3WV9OmzzrHv4EP0TbRQgvEonaTVqJXaKt4apq69DQ9VyIEj6xOnAjej0dQXgXkHI0hbdxKDlYTpIFbOL+73DfejmVSsly9ryuvHPr3nHpXCMHzDnK39crZ67k5Q0BAzwsxH55JIFrEBJ+r+VVP2tNzBFxM2Lwi0w/v8B9hmzYMfWWePAreDP6/IsF+I4PgvI+iWa4MPtjb9Matt2/m7x3Q+gBoWebSj9ZoRcnGxWPp8aQ3Nan31x9wFDG0ivwwkTeWshkfUAhBJYHPnFZk76z4nEoW+Sc/mR4utibGFlm/vG5xdZmlLDhaXFnrna5+DQ98Nbj6fJolqlTlSBuvpcJMoyRz77Fyy8LFgNOeBonRJ56Km78B84qjorT938DV1C8qH1GTUFjN1mH8FQ3k926Ut+BUhmGfG6rBxhrljLfIW/+lAC15oNJjAwug8ANf3CFqYI4W5DW2+S9DjOgkfC9I8x9hXPBR4FNz631bC2TanB/kekLnZXJE=

Dear Coq Users,

I guess it also needs to be discussed what is meant by "moderation".

For the time being I think it would be sufficient to have a way to report
spammers, to have someone review these reports and in case to delete the
account or otherwise ban them. As far as I can remember, there are only a
handful, so this would be a fairly lightweight task.

Best regards,

Michael
Intel Deutschland GmbH
Registered Address: Am Campeon 10-12, 85579 Neubiberg, Germany
Tel: +49 89 99 8853-0, www.intel.de
Managing Directors: Christin Eisenschmid, Christian Lamprechter
Chairperson of the Supervisory Board: Nicole Lau
Registered Office: Munich
Commercial Register: Amtsgericht Muenchen HRB 186928

[Coq-Club] Is it time..., Benjamin Pierce, 06/22/2018
- Re: [Coq-Club] Is it time..., Derek Dreyer, 06/22/2018
- Re: [Coq-Club] Is it time..., Dominique Unruh, 06/22/2018
  - 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