Steps to reproduce: create test.tex with \documentclass{amsart} \newtheorem{theorem}{Theorem} \newtheorem{proposition}{Proposition} \begin{document} \begin{theorem} blah \end{proposition} \end{document} and do C-c C-c followed by C-c `. This jumps to the error, but no help is available, even though LaTeX-error-description-list contains a relevant entry. The issue is that tex generates an error like the following: LaTeX Error: \begin{theorem} on input line 5 ended by \end{proposition}. On the other hand, the relevant regular expression in LaTeX-error-description-list doesn't allow for "on input line X". This patch generalizes that regular expression so that it matches such output. Thanks, best, Paul