Email Gateway (Aug 22 2022 at 18:31): Email Gateway (Aug 22 2022 at 18:31):From: José Manuel Rodriguez Caballero <josephcmac@gmail.com>
I think that the mailing list has the following technical problem: when
someone copies a link to a webpage, the text from the top of the webpage is
automatically included in the email. This creates a confusion between the
email content and the texts from the link, e.g., my own confusion with the
following link (I though it was someone writing this message to me, but it
was just the text from the top of the linked website):
in Isabelle/HOL. Indeed in the Top 100 Theorems in Isabelle (
Such confusions may give rise to unexpected outcomes.
Kind Regards,
Jose M.
Last updated: Nov 21 2024 at 12:39 UTC