![](https://secure.gravatar.com/avatar/c3c4ce72a68266355f51f0006a576199.jpg?s=120&d=mm&r=g)
2 Jun
2008
2 Jun
'08
5:57 p.m.
Karl & Taco, any reason to not set this to something quite larger (say 32767) in tex.ch? Not that I can perceive. I changed it. Thanks, k