Stream: Archive Mirror: Isabelle Users Mailing List

Topic: [isabelle] Meta: replying to the existing threads in "The...


view this post on Zulip Email Gateway (Aug 22 2022 at 20:08):

From: mailing-list anonymous <mailing.list.anonymous@gmail.com>
Dear All,

I have a meta-question on the subject of the correct way to reply to the
threads in the mailing list. Usually, when replying, I copy the subject of
the thread from the archives of the mailing list (
https://lists.cam.ac.uk/pipermail/cl-isabelle-users/) and state it as the
subject in my reply, with 'Re: ' appended at the beginning of the subject
line. Furthermore, I quote some elements of the original message. However,
from time to time, my replies appear as explicit new threads in "The
Cl-isabelle-users Archives". If possible, I would like to understand how
can I ensure that my replies are posted in the intended thread in the
archives?

Thank you

view this post on Zulip Email Gateway (Aug 22 2022 at 20:08):

From: Mark Wassell <mpwassell@gmail.com>
Hi,

The following Stack Exchange post might help.

https://webapps.stackexchange.com/questions/23197/reply-to-mailman-archived-message

See the first answer for why matching the subject line doesn't ensure
threading.

Cheers

Mark


Last updated: Nov 21 2024 at 12:39 UTC