j
k
j a
j l
On Apr 9, 2009, at 12:11 PM, Hans Hagen wrote:
weird, as the catcodes look ok
Hmm, I'll do some more tests later; I'll be offline until Sunday night. But it doesn't work in mkii either, so the bug probably is with the pattern file. Thomas
Back to the thread
Back to the list
