coq-club AT inria.fr
Subject: The Coq mailing list
List archive
- From: "Soegtrop, Michael" <michael.soegtrop AT intel.com>
- To: "coq-club AT inria.fr" <coq-club AT inria.fr>
- Subject: RE: [Coq-Club] two questions: a real one, and asking for help
- Date: Fri, 5 Aug 2016 09:55:00 +0000
- Accept-language: de-DE, en-US
- Authentication-results: mail2-smtp-roc.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 mga14.intel.com
- Ironport-phdr: 9a23:E3rbtB/+xmSc5P9uRHKM819IXTAuvvDOBiVQ1KB91e8cTK2v8tzYMVDF4r011RmSDN2du64P07qempujcFRI2YyGvnEGfc4EfD4+ouJSoTYdBtWYA1bwNv/gYn9yNs1DUFh44yPzahANS47AblHf6ke/8SQVUk2mc1EkfqKlRsWK34ye7KObw9XreQJGhT6wM/tZDS6dikHvjPQQmpZoMa0ryxHE8TNicuVSwn50dxrIx06vrpT4wJk2uS9Xorcq89NKeaT8ZaUxC7JCRnxyOGcsocbvqBPrTA2V53JaXH9AwTRSBA2Qpir9U5jtqCzi8qJY2SKaNMDyB/hgXDWp765mTFnzjyoIKyQ+6EnWjNB9iORQpxf39E83+JLdfIzAbKk2RajaZ95PHWc=
Dear Daniel,
> Ah yes. Thanks. Next time I ask there :-)
The mailing list has its advantages. In my experience one gets an answer also
quite fast, and it is archived! I like to read the Coq list - one learns a
lot of interesting things.
IRC chats can of cause also be archived, but it is much less suited for later
consumption than an email thread.
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] two questions: a real one, and asking for help, Daniel de Rauglaudre, 08/05/2016
- Re: [Coq-Club] two questions: a real one, and asking for help, Laurent Thery, 08/05/2016
- Re: [Coq-Club] two questions: a real one, and asking for help, Cedric Auger, 08/05/2016
- Re: [Coq-Club] two questions: a real one, and asking for help, Clément Pit--Claudel, 08/05/2016
- Re: [Coq-Club] two questions: a real one, and asking for help, Daniel de Rauglaudre, 08/05/2016
- RE: [Coq-Club] two questions: a real one, and asking for help, Soegtrop, Michael, 08/05/2016
- Re: [Coq-Club] two questions: a real one, and asking for help, Daniel de Rauglaudre, 08/05/2016
Archive powered by MHonArc 2.6.18.