bug#41564: Auctex on elpa, dated may 24th 2020 is broken

[Tassilo Horn]

Marco Falconi <marco.falconi@uniroma3.it> writes:

Hi Marco,

> Yes I have this function in my .emacs (since very long time, I forgot
> about that, I probably copied it from some source).
>
> The full functions are as pasted below. Can you give me some hint on
> how shall I modify them?

Well, what those functions did was fontifying the contents of all
theorem and lemma environments in font-latex-doctex-documentation-face,
i.e., stuff like

  \begin{theorem}
    I am fontified in font-latex-doctex-documentation-face.
  \end{theorem}

You can create such environments with the ntheorem package, i.e.,

  \usepackage{ntheorem}
  \newtheorem{theorem}{Theorem}
  \newtheorem{lemma}{Lemma}

but it is a user's choice to name the environments theorem or lemma
(though possibly you are using that convention).

FWIW, I'd suggest to remove this customization entirely and check if it
is allright for you to have theorem/lemma bodies fontified normally.

If you feel like something deeply loved is missing then, I can rewrite
your code to match the new font-latex business.

Bye,
Tassilo