Skip to Content.
Sympa Menu

coq-club - Re: [Coq-Club] professional advice for a young Coq developer

coq-club AT inria.fr

Subject: The Coq mailing list

List archive

Re: [Coq-Club] professional advice for a young Coq developer


Chronological Thread 
  • 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,
I'm a software developer with several years of professional
With no personal animosity, and with all possible due respect,

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.





Archive powered by MHonArc 2.6.18.

Top of Page