Am 04.03.2012 22:47, schrieb Jean-Marc Lasgouttes:
The point that Georg wanted to make is that we know what the correct solution
is: reset all catcodes
in the parser when we are in verbatim, or just read character by character
until we find
\end{verbatim}.
I'm not sure about the catcodes. What we need to do is to parse verbatim as plain text without any change except for backslashes.
your section{ example stangely fails. I will have a look the next days.
regards Uwe
