coq-club AT inria.fr
Subject: The Coq mailing list
List archive
- From: "Larry D. Lee jr." <llee454 AT gmail.com>
- To: "coq-club AT inria.fr" <coq-club AT inria.fr>
- Subject: Re: [Coq-Club] professional advice for a young Coq developer
- Date: Tue, 27 May 2014 09:18:58 -0400
Thanks. I'll be sure to do so going forward.
On 05/23/2014 11:18 PM, Ian Zimmerman wrote:
On Thu, 22 May 2014 09:48:03 -0400
"Larry D. Lee jr."
<llee454 AT gmail.com>
wrote:
Hi Coq Club,With no personal animosity, and with all possible due respect,
I'm a software developer with several years of professional
Please do not use "Reply", "List Reply", "Follow Up", or whatever it
is called in your email program, to start a new and unrelated topic,
however convenient it may seem. Type (or copy and paste) the list
address once, then save it in your address book to avoid having to do it
for future posts.
This helps people who use standard-conforming email programs, which
respect RFC 2822 [1] and collect threads by the References and
In-Reply-To headers, rather than the unreliable and imprecise Subject
threading.
[1]
http://www.faqs.org/rfcs/rfc2822.html
see esp. section 3.6.4
Again, in all friendliness, and thanks for your consideration.
- Re: [Coq-Club] professional advice for a young Coq developer, (continued)
- Re: [Coq-Club] professional advice for a young Coq developer, Pierre Neron, 05/23/2014
- RE: [Coq-Club] professional advice for a young Coq developer, Nguyen Quang-Huy, 05/25/2014
- Re: [Coq-Club] professional advice for a young Coq developer, Daniel Schepler, 05/23/2014
- Re: [Coq-Club] professional advice for a young Coq developer, Bas Spitters, 05/23/2014
- [Coq-Club] Coq and Computer Algebra System, David MENTRÉ, 05/23/2014
- Re: [Coq-Club] Coq and Computer Algebra System, Catalin Hritcu, 05/23/2014
- Re: [Coq-Club] Coq and Computer Algebra System, Daniel Schepler, 05/23/2014
- Re: [Coq-Club] Coq and Computer Algebra System, Julien Narboux, 05/25/2014
- Re: [Coq-Club] professional advice for a young Coq developer, Frédéric Blanqui, 05/26/2014
- Re: [Coq-Club] professional advice for a young Coq developer, Larry D. Lee jr., 05/27/2014
Archive powered by MHonArc 2.6.18.