![](https://secure.gravatar.com/avatar/1cb1e39b11e9afb719ebb806abfba553.jpg?s=120&d=mm&r=g)
16 Aug
2004
16 Aug
'04
11:40 a.m.
Hi Vit, thanks for the quick help. It works! --Stefan PS: Is there some documentation about \appendtoks around?