[AUCTeX] reftex-label-alist not consistent

[Emilio Jesús Gallego Arias]

Hello,

first of all I'd like to thank you for the how wonderful AUCTeX, ReFTeX
et al. are.

The question is that I got some strange behavior with respect to how
reftex interacts with labels.

Below there are an example file and the value of my reftex-label-alist
variable:

\documentclass{article}
\usepackage{amsthm}
\newtheorem{lemma}{Lemma}
\begin{document}
\begin{lemma} \label{lem:hi-1}
  Hi 1
\end{lemma}
\begin{lemma}\label{lem:hi-2}
  Hi 2
\end{lemma}
Lem.
\end{document}

(setq reftex-label-alist
      '(("axiom"   ?a "ax:"  "~\\ref{%s}" nil ("axiom"   "ax.") -1)
        ("lemma"   ?l "lem:" "~\\ref{%s}" t   ("lemma"  "lem.") -1)
        ("definition" ?d "def:" "~\\ref{%s}" t ("definition"  "def.") -1)
        ("theorem" ?h "thr:" "~\\ref{%s}" t   ("theorem" "th.") -1)))

Then if you press C-c-= *only* the first lemma will be displayed in the
TOC. All right, so it seems that we should put a space after the
\begin{lemma} so TOC works with it. 

But then I press C-c-) just after "Lem." to insert a reference, the
browser *only* displays the second lemma. If a put a space between
\begin{lemma} and \label then C-c-) doesn't work properly, though C-c-=
needs the space to show lemmas in the TOC.

So I cannot have a lemma both selected as a lemma by reftex-reference
and displayed in TOC. This seems really weird, what I'm doing wrong?

I had a look to reftex-section-info & friends, but I couldn't stop any
strange thing in the Elisp code.

[Please don't CC me as I read the list]

Regards and TIA,

Emilio

pgpB03i3vJhoO.pgp
Description: PGP signature