On Tue, May 16, 2006 at 12:28:16PM +0200, Christian Maeder wrote: > My next problem is: > > "Maximum token length (4000) exceeded" > > Which spot in the sources do I have to change in order to increase this > limit? (I've unsuccessfully searched the hugs mailing lists for an answer) MAX_TOKEN in src/input.c