Hi I continued with the check of CSV using the latest auctex and x-symbol. It seems that the font-lock problem reported by the auctex team still remains.: For example the simple file \documentclass{article} \begin{document} \begin{verbatim} $EXEC \end{verbatim} \end{document} _still_ shows the wrong font lock behaviour Ralf> Fontification involves several passes. A syntactic keyword pass, a Ralf> syntactic pass and a keyword pass. In Emacs the syntactic keyword Ralf> pass will apply a verbatim face to the contents of the verbatim Ralf> environment. In the keyword pass happening after that, fontification Ralf> will only be done if there is no verbatim face present. But in XEmacs Ralf> the syntactic keyword pass is not working (at least with AUCTeX) and Ralf> fontification in the verbatim environment cannot be inhibited as the Ralf> test for the verbatim face fails. BTW when using font-lock-mode with or with out lazy-shot, I have to turn off and on the font-lock-mode in order to notice a difference in the fortification, while when turning on lazy-lock this is done immediately. I wonder whether this is by design or a bug. Uwe