Re: Colon in index items

[Eli Zaretskii]

> From: Richard Stallman <address@hidden>
> Date: Fri, 15 Mar 2002 09:24:16 -0700 (MST)
> 
> But maybe there is a way to get reasonably good results without
> changing the format, by writing something different into the index.

All the discussions up to now failed to find such a possibility.  But
perhaps we missed something--could you give an example of a kind of
change you had in mind?