mailing-list for TeXmacs Users

[Frank <address@hidden>]

Hello,

You could search it: you need first separate the search bar into a separate 
window (by clicking the icon which looks like two windows), then you input 
\ref, press enter, and input the label. Then you can search out all \ref.

But be aware: using this method, you can only search out the places where you 
use \ref. It does not search out implicit references (for example, 
encapsulated by a macro like \smart-ref or \eqref. However, in this case, you 
can search \smart-ref or \eqref in place of \ref).

Best,
Frank

On 7/26/21, vincent douce wrote:
> hi
> in a document i am moving a theorem referenced with a \label
> i need renaming this label because the theorem was part of a proposition and 
> is now a theorem
> i need, so, to get the list of all the \ref calling this \label
> excepting using my own memory of scrolling down all the doc, is there a means 
> to get such a list ?
> thanks
> Vincent