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