Skip to Content.
Sympa Menu

coq-club - RE: [Coq-Club] two questions: a real one, and asking for help

coq-club AT inria.fr

Subject: The Coq mailing list

List archive

RE: [Coq-Club] two questions: a real one, and asking for help


Chronological Thread 
  • 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

Archive powered by MHonArc 2.6.18.

Top of Page