CGAL users discussion list

["Eivind LM" <>]

On Tue, 30 Oct 2007 16:31:08 +0100, Camille Wormser  
<> wrote:

> Sylvain Pion wrote:
> > > Don't you think that the manual index would be much easier to use if  
> > > split into 27 pages, instead of one huge page?
> >
> > I don't see that.  How do you easily "grep" in 27 different pages???
>
> I usually don't need to grep the index page. It is definitely not my  
> main use of it. 99% of the time, I would go straight to the letter I  
> have in mind.
>
> Maybe both should be provided...

I will probably search 99% of the time, so I totally agree both should be  
provided.

Eivind