12 Dec
2007
12 Dec
'07
9:10 a.m.
"Jonathan Sauer"
when using lpeg an dmatching, keep in mind that \unexpanded has the side effect of introducing spaces
Oh. I used \unexpanded, because sometime someone on this mailing list noted that it was faster than \detokenize.
Should make no difference, I guess. \detokenize should introduce the same spaces, using the same algorithm.
btw, if you change \unexpanded by \detokenize you get the desired result
I know.
Oops. Why would that be? -- David Kastrup, Kriemhildstr. 15, 44793 Bochum