On Tue, 06 Jan 2004 11:29:11 +0100 Boris 'pi' Piwinger <3.14 at logic.univie.ac.at> wrote: > AFAICS we also still have HEADER_LINE_MARKUP, which allows > to turn of header prefix tokens. I think that should also go. > > pi The config file option can go. In the form of the '-H' flag, it's still useful in bogolexer for testing.