Re: (Not so) wild development ideas

[Jean-Marc Lasgouttes]

>>>>> "Diego" == Diego A Puertas F <[EMAIL PROTECTED]> writes:

Diego> Doesn't sound like a good idea to have the "Insert Cross
Diego> Reference" box list the labels indented?

Diego> The labels indented by the place where they were declared. It
Diego> will be a lot much easier to find one of them when you have
Diego> (like in my case) about 250 of them.

This will be nice, but we need first to be able to attach a label to
an object (i.e. this label points to a section, but that one to a
theorem). 
JMarc