On Mon, Jul 14, 2003 at 08:53:11AM +0200, Lars Gullik Bj?nnes wrote:

> But perhaps we should do this for index entries as well?
> (similar)

Index entries ? How would that work ?

> Let's do this!

We need to consider if it's an option and if so, what's the default. I
can see the markers being quite distracting ...

regards
john

Reply via email to