31 Oct
2006
31 Oct
'06
9:55 p.m.
On Tue, 31 Oct 2006, Wolfgang Schuster wrote:
2006/10/29, Sebastian Rooks
: 2/ I'm using bookmarks but abbreviations in heads do not work properly. I've used a workaround some 3 years ago but I cannot remember which. Any suggestion ? (see test file below)
\appendtoks \def\UK{UK} \to \simplifiedcommands
Why doesn't \doglobal\appendtoks\setvalue{#2}{#2}\to\simplifiedcommands line in the definition of dodocomplexsynonym do this automatically? Aditya