bug in tex-mode?

[Garance PARIS]

Hi,

I am using emacs to set a latex document containing
documentation for a program written in the Oz programming
language. 

When I want to comment on a function, I use a verbatim
environment, like this:
\begin{verbatim}
 fun {$ R}
    case R
    of take(patiens:X ...)
    then         
        ...
    else
       0 
    end
 end      
\end{verbatim} 

This compiles perfectly in Latex, but all of my text after
the $ (the name for anonymous functions in Oz) appears in
light brown, as if emacs thought I wanted to switch into the
math-mode of Latex. Someone in a newsgroup suggested adding
%$ after leaving the verbatim environment to at least trick
the emacs-mode into thinking I closed the math-mode, that
helps, but it doesn't really solve the problem.

I think this must come from a parse mistake in the tex mode
of emacs, since Latex doesn't make any problems: there
really can't be a math mode inside a verbatim environment. I
am using emacs GNU Emacs 20.4.1 under Linux and GNU Emacs
20.2.1 under Unix, and I couldn't find any mention of this
having been fixed on the "changes" page of the website.

Cheers,
Garance